Benjamin Grégoire

5 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.

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi and others (2019) · ACM

Formal Security Proof of CMAC and Its Variants

Cécile Baritel-Ruet and others (2018) · IEEE Computer Security Foundations Workshop (CSFW) · Institute of Electrical and Electronics Engineers

Jasmin: High-Assurance and High-Speed Cryptography

José Bacelar Almeida and others (2017) · ACM

Strong Non-Interference and Type-Directed Higher-Order Masking

Gilles Barthe and others (2016) · ACM SIGSAC Conference on Computer and Communications Security (CCS)

Synthesis of Fault Attacks on Cryptographic Implementations

Gilles Barthe and others (2014) · ACM