2026 Steve Kremer: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	33	12630	12262	320	310	92	5006

Overview

Steve Kremer is affiliated with the French Institute for Research in Computer Science and Automation (INRIA) in France. Their research primarily falls within the field of Computer Science, with a total of 29 publications. The work covers various subfields including Information Systems, Computer Networks and Communications, Artificial Intelligence, Computational Theory and Mathematics, and Sociology and Political Science.

Their scientific contributions focus on multiple topics related to security and protocol verification. Key topics include:

Advanced Authentication Protocols Security
User Authentication and Security Systems
Digital Rights Management and Security
Cryptography and Data Security
Network Security and Intrusion Detection
Spam and Phishing Detection
Complexity and Algorithms in Graphs

Steve Kremer's recent publications demonstrate sustained engagement with the analysis and verification of security protocols and their semantics. Selected publications include:

"An Extensive Formal Analysis of Multi-factor Authentication Protocols", 2021, ACM Transactions on Privacy and Security
"On the semantics of communications when verifying equivalence properties", 2020, Journal of Computer Security
"Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses", 2023, HAL (Le Centre pour la Communication Scientifique Directe)
"SAPIC+: protocol verifiers of the world, unite!", 2023, HAL (Le Centre pour la Communication Scientifique Directe)
"Universal Equivalence and Majority of Probabilistic Programs over Finite Fields", 2021, ACM Transactions on Computational Logic

Their research work has appeared frequently in venues such as:

HAL (Le Centre pour la Communication Scientifique Directe)
Journal of Computer Security
ACM SIGLOG News
ACM Transactions on Privacy and Security
ACM Transactions on Computational Logic

Collaboration plays a notable role in their work. Frequent coauthors include:

Vincent Cheval
Charlie Jacomme
Itsaka Rakotonirina
Raphaëlle Crubillé
Kushal Babel

In addition to research articles, Steve Kremer has contributed to the book "Best practices from PhD to Professor" published by the European Organization for Nuclear Research in 2022.

Best Publications

An intensive survey of fair non-repudiation protocols

Steve Kremer;Olivier Markowitch;Jianying Zhou

428
Citations
Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune;Steve Kremer;Mark Ryan

420
Citations
An efficient strong designated verifier signature scheme

Shahrokh Saeednia;Steve Kremer;Olivier Markowitch

371
Citations
Analysis of an electronic voting protocol in the applied pi calculus

Steve Kremer;Mark Ryan

330
Citations
Election verifiability in electronic voting protocols

Steve Kremer;Mark Ryan;Ben Smyth

251
Citations
Coercion-resistance and receipt-freeness in electronic voting

S. Delaune;S. Kremer;M. Ryan

222
Citations
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols

Steve Kremer;Jean-François Raskin

220
Citations
A game-based verification of non-repudiation and fair exchange protocols

Steve Kremer;Jean-François Raskin

208
Citations
Automated Verification of Equivalence Properties of Cryptographic Protocols

Rohit Chadha;Vincent Cheval;Ştefan Ciobâcă;Steve Kremer

181
Citations
Computing Knowledge in Security Protocols Under Convergent Equational Theories

Ştefan Ciobâcă;Stéphanie Delaune;Steve Kremer

157
Citations
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier;Steve Kremer;Bogdan Warinschi

137
Citations
Game analysis of abuse-free contract signing

S. Kremer;J.-F. Raskin

117
Citations
Computationally sound implementations of equational theories against passive adversaries

Mathieu Baudet;Véronique Cortier;Steve Kremer

103
Citations
Formal Analysis of Multiparty Contract Signing

Rohit Chadha;Steve Kremer;Andre Scedrov

100
Citations
An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party

Olivier Markowitch;Steve Kremer

96
Citations
Automated verification of equivalence properties of cryptographic protocols

Rohit Chadha;Ştefan Ciobâcă;Steve Kremer

95
Citations
A Multi-party Optimistic Non-repudiation Protocol

Olivier Markowitch;Steve Kremer

82
Citations
A Multi-Party Non-Repudiation Protocol

Steve Kremer;Olivier Markowitch

81
Citations
Optimistic non-repudiable information exchange

Steve Kremer;Olivier Markowitch

80
Citations
Symbolic bisimulation for the applied pi calculus

Stéphanie Delaune;Steve Kremer;Mark D. Ryan

79
Citations

Frequent Co-Authors

Mark Ryan University of Birmingham

Véronique Cortier Centre national de la recherche scientifique, CNRS

Jean-François Raskin Université Libre de Bruxelles

Bogdan Warinschi University of Bristol

Michael Backes University of Oxford

Gilles Barthe Max Planck Institute for Security and Privacy

Serge Vaudenay École Polytechnique Fédérale de Lausanne

Andre Scedrov University of Pennsylvania

Jianying Zhou Singapore University of Technology and Design

Pierrick Gaudry University of Lorraine

External Links

Personal website of Steve Kremer

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online education can open diverse doors for those studying Computer Science in the USA. An online associate's degree is a practical starting point, helping students build foundational knowledge while maintaining flexibility. Many learners also seek out affordable online colleges to minimize debt and maximize value.

Admission worries are common, but plenty of online colleges that accept low gpa provide pathways for those who may not meet traditional academic benchmarks. This ensures that students of varying backgrounds have opportunities to advance their education.

Computer Science majors can branch out with related disciplines, such as Environmental Science. Curious about diverse opportunities? See what can you do with an environmental science degree to better understand evolving career pathways.

Whether starting with an associate’s, seeking affordability, or considering alternative careers, online degrees make education more accessible for everyone.