Concepedia

Benjamin Grégoire

BG

42

Publications

2.3K

Citations

25

H-Index

2002

Active since

Affiliations

IMDEA Software Institute(Current)

Institut national de recherche en sciences et technologies du numérique

Centre Inria d'Université Côte d'Azur

École Polytechnique

Max Planck Institute for Security and Privacy

Benjamin Grégoire is an author at IMDEA Software Institute specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsVerificationCryptographyData SecuritySoftware AnalysisComputer EngineeringInformation Security

Publications per year

2002–2023

42

Publications

42

Formal certification of code-based cryptographic proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin · 2009 · 261 citations

Cryptographic Proofs, Program Checking, Engineering +20

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

Gilles Barthe, Sonia Belaïd, François Dupressoir et al. · 2016 · 216 citations

Engineering, Information Security, Verification +25

A compiled implementation of strong reduction

Benjamin Grégoire, Xavier Leroy · 2002 · 176 citations · Full text

Engineering, Verification, Strong Reduction +21

An Over-60 dB True Rail-to-Rail Performance Using Correlated Level Shifting and an Opamp With Only 30 dB Loop Gain

Benjamin Grégoire, Un-Ku Moon · IEEE Journal of Solid-State Circuits · 2008 · 162 citations

Finite Opamp Gain, Opamp Circuit, Data Converter +5

Formal certification of code-based cryptographic proofs

Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin · ACM SIGPLAN Notices · 2009 · 101 citations

Cryptographic Proofs, Program Checking, Engineering +20

Rows per page

1–5 of 42