Publikationen pro Jahr
Publikationen pro Jahr
- 7 Ergebnisse
Suchergebnisse
-
2018
Expansion-Based QBF Solving Without Recursion
Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F. & Seidl, M., 2018, fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). Bjørner, N. & Gurfinkel, A. (Hrsg.). S. 40-49Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2020
Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors
Lipp, M., Hadzic, V., Schwarz, M., Perais, A., Maurice, C. L. N. & Gruß, D., 5 Okt. 2020, Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020. New York, NY: Association of Computing Machinery, S. 813–825 13 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2021
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Gigerl, B., Hadzic, V., Primas, R., Mangard, S. & Bloem, R., 2021, Proceedings of the 30th USENIX Security Symposium. USENIX Association, S. 1469-1486 18 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
CocoAlma: A Versatile Masking Verifier
Hadzic, V. & Bloem, R., 9 Juli 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (Hrsg.). S. 14-23 10 S. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Proving SIFA Protection of Masked Redundant Circuits
Hadžić, V., Primas, R. & Bloem, R., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021. Hou, Z. & Ganesh, V. (Hrsg.). Cham: Springer, S. 249-265 16 S. (Lecture Notes in Computer Science; Band 12971).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Datei -
2022
FERPModels: A Certification Framework for Expansion-Based QBF Solving
Bloem, R., Hadzic, V., Shukla, A. & Seidl, M., 2022, Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022. S. 80-83 4 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Datei -
Power Contracts: Provably Complete Power Leakage Models for Processors
Bloem, R., Gigerl, B., Gourjon, M., Hadzic, V., Mangard, S. & Primas, R., 7 Nov. 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association of Computing Machinery, S. 381-395 15 S. (Proceedings of the ACM Conference on Computer and Communications Security).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access