Steve Kremer

Cited by

	All	Since 2017
Citations	4833	1375
h-index	37	19
i10-index	63	36

340

170

255

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202213 22 65 101 172 188 165 253 314 327 330 313 311 300 253 233 321 288 219 259 214 74

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stéphanie DelauneUniv Rennes, CNRS, IRISAVerified email at irisa.fr
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Olivier MarkowitchUniversité Libre de Bruxelles, BelgiumVerified email at ulb.be
Véronique CortierCNRS, LORIAVerified email at loria.fr
Vincent ChevalInria Paris, FranceVerified email at inria.fr
Graham SteelINRIAVerified email at cryptosense.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
Bogdan WarinschiUniversity of Bristol and DfinityVerified email at cs.bris.ac.uk
Ben SmythFounder-CEO, x26.ioVerified email at bensmyth.com
Myrto ArapinisSchool of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Jianying ZhouProfessor, Singapore University of Technology and Design (SUTD)Verified email at sutd.edu.sg
Jannik DreierLORIA, Université de Lorraine, TELECOM NancyVerified email at loria.fr
Laurent MazareVerified email at polytechnique.org
Matteo MaffeiFull Professor at TU WienVerified email at tuwien.ac.at
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Olivier PereiraUCLouvainVerified email at uclouvain.be
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland

Steve Kremer

Inria

Verified email at inria.fr - Homepage

Security security protocols formal methods verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An intensive survey of fair non-repudiation protocols S Kremer, O Markowitch, J Zhou Computer communications 25 (17), 1606-1621, 2002	412	2002
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	393	2009
An efficient strong designated verifier signature scheme S Saeednia, S Kremer, O Markowitch International conference on information security and cryptology, 40-54, 2003	340	2003
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	322	2005
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth European Symposium on Research in Computer Security, 389-404, 2010	233	2010
Coercion-resistance and receipt-freeness in electronic voting S Delaune, S Kremer, M Ryan 19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-42, 2006	217	2006
A game-based verification of non-repudiation and fair exchange protocols S Kremer, JF Raskin Journal of Computer Security 11 (3), 399-430, 2003	200	2003
A game-based verification of non-repudiation and fair exchange protocols S Kremer, JF Raskin International Conference on Concurrency Theory, 551-565, 2001	200	2001
Automated verification of equivalence properties of cryptographic protocols R Chadha, V Cheval, Ş Ciobâcă, S Kremer ACM Transactions on Computational Logic (TOCL) 17 (4), 23, 2016	161	2016
Automated verification of equivalence properties of cryptographic protocols R Chadha, Ş Ciobâcă, S Kremer European Symposium on Programming, 108-127, 2012	161*	2012
A survey of symbolic methods in computational analysis of cryptographic systems V Cortier, S Kremer, B Warinschi Journal of Automated Reasoning 46 (3), 225-259, 2011	122	2011
Game analysis of abuse-free contract signing S Kremer, JF Raskin Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002	111	2002
Formal analysis of multiparty contract signing R Chadha, S Kremer, A Scedrov Journal of Automated Reasoning 36 (1), 39-83, 2006	94	2006
An optimistic non-repudiation protocol with transparent trusted third party O Markowitch, S Kremer International Conference on Information Security, 363-378, 2001	93	2001
Computationally sound implementations of equational theories against passive adversaries M Baudet, V Cortier, S Kremer International Colloquium on Automata, Languages, and Programming, 652-663, 2005	83	2005
A multi-party optimistic non-repudiation protocol O Markowitch, S Kremer International Conference on Information Security and Cryptology, 109-122, 2000	81	2000
Optimistic non-repudiable information exchange S Kremer, O Markowitch Symposium on Information Theory in the Benelux, 139-146, 2000	79	2000
A multi-party non-repudiation protocol S Kremer, O Markowitch IFIP International Information Security Conference, 271-280, 2000	77	2000
Automated analysis of security protocols with global state S Kremer, R Künnemann Journal of Computer Security 24 (5), 583-616, 2016	76	2016
Formal analysis of protocols based on TPM state registers S Delaune, S Kremer, MD Ryan, G Steel 2011 IEEE 24th Computer Security Foundations Symposium, 66-80, 2011	76	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors