This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Roderick Bloem
A grouping.
Roderick Bloem, TU Graz: formal verification of masked (side-channel-protected) hardware, its co-verification with software in Coco, and fault-resistant secure-CPU partitioning.
5 references
Fault-resistant partitioning of secure CPUs for system co-verification against faults
Simon Tollec and others (2024) · IACR Transactions on Cryptographic Hardware and Embedded Systems
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Barbara Gigerl and others (2021) · 30th USENIX Security Symposium (USENIX Security 21) · USENIX Association
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Roderick Bloem and others (2018) · Advances in Cryptology - EUROCRYPT 2018 · Springer International Publishing
Automatic Hardware Synthesis from Specifications: A Case Study
Roderick Bloem and others (2007) · Design, Automation, and Test in Europe
Anzu: A Tool for Property Synthesis
Barbara Jobstmann and others (2007) · Springer Nature