Publikationen pro Jahr
Publikationen pro Jahr
- 6 Ergebnisse
Suchergebnisse
-
2022
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 -
Proving SIFA protection of masked redundant circuits
Hadzic, V., Primas, R. & Bloem, R., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 471-481 11 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
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 -
Secure and Efficient Software Masking on Superscalar Pipelined Processors
Gigerl, B., Primas, R. & Mangard, S., 2021, Advances in Cryptology - ASIACRYPT 2021. S. 3-32 30 S. (Lecture Notes in Computer Science; Band 13091).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei