Roderick Bloem

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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