Benjamin Grégoire

4.2k total citations
49 papers, 809 citations indexed

About

Benjamin Grégoire is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Biomedical Engineering. According to data from OpenAlex, Benjamin Grégoire has authored 49 papers receiving a total of 809 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 11 papers in Biomedical Engineering. Recurrent topics in Benjamin Grégoire's work include Security and Verification in Computing (19 papers), Cryptographic Implementations and Security (17 papers) and Cryptography and Data Security (13 papers). Benjamin Grégoire is often cited by papers focused on Security and Verification in Computing (19 papers), Cryptographic Implementations and Security (17 papers) and Cryptography and Data Security (13 papers). Benjamin Grégoire collaborates with scholars based in France, Spain and Germany. Benjamin Grégoire's co-authors include Un-Ku Moon, Gilles Barthe, Santiago Zanella-Béguelin, Pierre-Yves Strub, Sonia Belaïd, François‐Xavier Standaert, François Dupressoir, Pierre-Alain Fouque, Gaëtan Cassiers and Itamar Levi and has published in prestigious journals such as IEEE Journal of Solid-State Circuits, IEEE Transactions on Computers and Electronics Letters.

In The Last Decade

Benjamin Grégoire

43 papers receiving 767 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Benjamin Grégoire France 13 485 297 221 153 125 49 809
Volnei A. Pedroni Brazil 13 174 0.4× 303 1.0× 141 0.6× 102 0.7× 50 0.4× 46 579
J.G. Delgado-Frias United States 17 200 0.4× 623 2.1× 91 0.4× 332 2.2× 112 0.9× 143 1.0k
Somayeh Timarchi Iran 14 158 0.3× 500 1.7× 182 0.8× 95 0.6× 219 1.8× 46 698
Steven Hsu United States 19 269 0.6× 868 2.9× 151 0.7× 537 3.5× 91 0.7× 71 1.2k
Georgios Zervakis Greece 17 128 0.3× 685 2.3× 154 0.7× 243 1.6× 91 0.7× 49 852
Alessandro Cilardo Italy 19 288 0.6× 370 1.2× 40 0.2× 334 2.2× 49 0.4× 83 891
Kiamal Pekmestzi Greece 16 130 0.3× 810 2.7× 208 0.9× 389 2.5× 179 1.4× 94 1.0k
Arvind Singh United States 15 347 0.7× 338 1.1× 52 0.2× 358 2.3× 21 0.2× 45 679
R. Zimmermann Switzerland 8 254 0.5× 822 2.8× 338 1.5× 236 1.5× 254 2.0× 11 1.1k
Seokhyeong Kang South Korea 19 157 0.3× 1.2k 4.1× 181 0.8× 506 3.3× 158 1.3× 113 1.4k

Countries citing papers authored by Benjamin Grégoire

Since Specialization
Citations

This map shows the geographic impact of Benjamin Grégoire's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Benjamin Grégoire with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Benjamin Grégoire more than expected).

Fields of papers citing papers by Benjamin Grégoire

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Benjamin Grégoire. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Benjamin Grégoire. The network helps show where Benjamin Grégoire may publish in the future.

Co-authorship network of co-authors of Benjamin Grégoire

This figure shows the co-authorship network connecting the top 25 collaborators of Benjamin Grégoire. A scholar is included among the top collaborators of Benjamin Grégoire based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Benjamin Grégoire. Benjamin Grégoire is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Barthe, Gilles, et al.. (2025). Preservation of Speculative Constant-Time by Compilation. Proceedings of the ACM on Programming Languages. 9(POPL). 1293–1325. 3 indexed citations
2.
Barthe, Gilles, Chitchanok Chuengsatiansup, Benjamin Grégoire, et al.. (2025). Protecting Cryptographic Code Against Spectre-RSB: (and, in Fact, All Known Spectre Variants). SPIRE - Sciences Po Institutional REpository. 933–948.
3.
Avanzini, Martin, et al.. (2025). A Quantitative Probabilistic Relational Hoare Logic. Proceedings of the ACM on Programming Languages. 9(POPL). 1167–1195. 2 indexed citations
4.
Blanchet, Bruno, et al.. (2024). CV2EC: Getting the Best of Both Worlds. SPIRE - Sciences Po Institutional REpository. 279–294.
5.
Barbosa, Manuel, et al.. (2023). Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ACM Transactions on Privacy and Security. 26(3). 1–34. 1 indexed citations
6.
Barthe, Gilles, Rubén González Crespo, Benjamin Grégoire, et al.. (2023). High-assurance zeroization. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2024(1). 375–397.
7.
Almeida, José Bacelar, Manuel Barbosa, Gilles Barthe, et al.. (2023). Formally verifying Kyber. IACR Transactions on Cryptographic Hardware and Embedded Systems. 164–193. 1 indexed citations
8.
Barthe, Gilles, et al.. (2023). Typing High-Speed Cryptography against Spectre v1. SPIRE - Sciences Po Institutional REpository. 1094–1111. 13 indexed citations
9.
Barbosa, Manuel, et al.. (2021). Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. SPIRE - Sciences Po Institutional REpository. 2541–2563. 9 indexed citations
10.
Barbosa, Manuel, José Bacelar Almeida, Benjamin Grégoire, et al.. (2019). The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. arXiv (Cornell University). 17 indexed citations
11.
Barthe, Gilles, Thomas Espitau, Benjamin Grégoire, Justin Hsu, & Pierre-Yves Strub. (2017). Proving uniformity and independence by self-composition and coupling. arXiv (Cornell University). 6 indexed citations
12.
Barthe, Gilles, Benjamin Grégoire, Justin Hsu, & Pierre-Yves Strub. (2017). Coupling proofs are probabilistic product programs. ACM SIGPLAN Notices. 52(1). 161–174. 5 indexed citations
13.
Barthe, Gilles, Thomas Espitau, Benjamin Grégoire, Justin Hsu, & Pierre-Yves Strub. (2017). Proving expected sensitivity of probabilistic programs. Proceedings of the ACM on Programming Languages. 2(POPL). 1–29. 20 indexed citations
14.
Barthe, Gilles, et al.. (2013). Verified indifferentiable hashing into elliptic curves. Journal of Computer Security. 21(6). 881–917. 2 indexed citations
15.
Blech, Jan Olaf & Benjamin Grégoire. (2010). Certifying compilers using higher-order theorem provers as certificate checkers. Formal Methods in System Design. 38(1). 33–61. 3 indexed citations
16.
Provansal, Magali, et al.. (2009). Interruption volontaire de grossesse médicamenteuse à domicile et à l’hôpital : étude d’efficacité et d’acceptabilité. Gynécologie Obstétrique & Fertilité. 37(11-12). 850–856. 4 indexed citations
17.
Blech, Jan Olaf & Benjamin Grégoire. (2009). Using checker predicates in certifying code generation. RMIT Research Repository (RMIT University Library). 1–17. 2 indexed citations
18.
Grégoire, Benjamin & Un-Ku Moon. (2007). Process-Independent Resistor Temperature-Coefficients using Series/Parallel and Parallel/Series Composite Resistors. 2826–2829. 33 indexed citations
19.
Grégoire, Benjamin. (2006). A switched capacitor regulated charge pump power supply. 750–753. 2 indexed citations
20.
Grégoire, Benjamin. (2004). Optimum Area Allocation for Minimum Mismatch. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Volnei A. Pedroni Breakdown of academic impact, for papers by J.G. Delgado-Frias Breakdown of academic impact, for papers by Somayeh Timarchi Breakdown of academic impact, for papers by Steven Hsu Breakdown of academic impact, for papers by Georgios Zervakis Breakdown of academic impact, for papers by Alessandro Cilardo Breakdown of academic impact, for papers by Kiamal Pekmestzi Breakdown of academic impact, for papers by Arvind Singh Breakdown of academic impact, for papers by R. Zimmermann Breakdown of academic impact, for papers by Seokhyeong Kang
Rankless by CCL
2026