Research output per year
Research output per year
Search results
-
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, p. 381-395 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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, p. 471-481 11 p.Research output: Contribution to journal › Article › peer-review
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, p. 1469-1486 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
CocoAlma: A Versatile Masking Verifier
Hadzic, V. & Bloem, R., 9 Jul 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). p. 14-23 10 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
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. (eds.). Cham: Springer, p. 249-265 16 p. (Lecture Notes in Computer Science; vol. 12971).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
File -
Secure and Efficient Software Masking on Superscalar Pipelined Processors
Gigerl, B., Primas, R. & Mangard, S., 2021, Advances in Cryptology - ASIACRYPT 2021. p. 3-32 30 p. (Lecture Notes in Computer Science; vol. 13091).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile