International Association for Cryptologic Research
Benjamin Grégoire Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2017 | Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model | eurocrypt | 535-566 |
| 2 | 2015 | Verified Proofs of Higher-Order Masking | eprint | 60 |
| 3 | 2015 | Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler | eprint | 506 |
| 4 | 2015 | Verified Proofs of Higher-Order Masking | eurocrypt | online |
| 5 | 2014 | Making RSA-PSS Provably Secure against Non-random Faults | ches | online |