Steve Kremer

Statistics

Publications

Citations

1.8K

H-Index

Active since

2000

Affiliations

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

Centre National de la Recherche Scientifique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

École Normale Supérieure Paris-Saclay

Centre Inria de l'Université de Lorraine

Steve Kremer is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal verification, engineering, and data security.

ORCID

Top concepts

EngineeringFormal VerificationCryptographyComputer ScienceData SecurityFormal MethodsInformation SecurityData PrivacyVerificationHardware Security

Publications per year

2000–2024

Publications

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune, Steve Kremer, Mark Ryan · Journal of Computer Security · 2009 · 287 citations

Secure Multi-party Computation, Engineering, Smart Voting +15

An intensive survey of fair non-repudiation protocols

Steve Kremer, Olivier Markowitch, Jianying Zhou · Computer Communications · 2002 · 262 citations

Engineering, Intensive Survey, Information Security +9

Coercion-Resistance and Receipt-Freeness in Electronic Voting

Stéphanie Delaune, Steve Kremer, Mark Ryan · 2006 · 141 citations

Voting Protocol, Engineering, Information Security +18

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier, Steve Kremer, Bogdan Warinschi · Journal of Automated Reasoning · 2010 · 92 citations

Symbolic Manipulation, Cryptographic Primitive, Engineering +12

Game analysis of abuse-free contract signing

Steve Kremer, Jean-François Raskin · 2003 · 77 citations

Negotiation, Engineering, Information Security +22

1–5 of 36