Benjamin Grégoire

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 78

Top Topics

Formal Verification

Probabilistic Relational

Countermeasures

Equational Theories

Top Venues

IACR Cryptol. ePrint Arch.

Publications