Steve Kremer

Citée par

	Toutes	Depuis 2020
Citations	5552	1237
indice h	38	17
indice i10	73	37

340

170

255

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 17 74 87 179 186 176 260 307 315 335 331 307 304 252 233 311 283 238 254 234 251 222 253 23

Accès public

Tout afficher

34 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Stéphanie DelauneUniv Rennes, CNRS, IRISAAdresse e-mail validée de irisa.fr
Mark D. RyanProfessor of Computer Security, University of BirminghamAdresse e-mail validée de bham.ac.uk
Olivier MarkowitchUniversité Libre de Bruxelles, BelgiumAdresse e-mail validée de ulb.be
Vincent ChevalUniversity of Oxford, United KingdomAdresse e-mail validée de cs.ox.ac.uk
Véronique CortierCNRS, LORIAAdresse e-mail validée de loria.fr
Graham SteelINRIAAdresse e-mail validée de cryptosense.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Adresse e-mail validée de ulb.ac.be
Bogdan WarinschiUniversity of Bristol and DfinityAdresse e-mail validée de cs.bris.ac.uk
Rohit ChadhaUniversity of MissouriAdresse e-mail validée de missouri.edu
Ben SmythFounder-CEO, x26.ioAdresse e-mail validée de bensmyth.com
Stefan CiobacaAlexandru Ioan Cuza UniversityAdresse e-mail validée de info.uaic.ro
Myrto ArapinisSchool of Informatics, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Jianying ZhouProfessor, Singapore University of Technology and Design (SUTD)Adresse e-mail validée de sutd.edu.sg
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterAdresse e-mail validée de tuwien.ac.at
Jannik DreierLORIA, Université de Lorraine, TELECOM NancyAdresse e-mail validée de loria.fr
Laurent MazaréKyutaiAdresse e-mail validée de polytechnique.org
Ralf SasseSenior Scientist in Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de math.upenn.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.saarland
Céline ChevalierAssistant Professor of Computer Science, Université Paris 2Adresse e-mail validée de ens.fr

Suivre

Steve Kremer

Inria

Adresse e-mail validée de inria.fr - Page d'accueil

Security security protocols formal methods verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	445	2009
An intensive survey of fair non-repudiation protocols S Kremer, O Markowitch, J Zhou Computer communications 25 (17), 1606-1621, 2002	432	2002
An efficient strong designated verifier signature scheme S Saeednia, S Kremer, O Markowitch Information Security and Cryptology-ICISC 2003: 6th International Conference …, 2004	386	2004
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	342	2005
Election verifiability in electronic voting protocols S Kremer, M Ryan, B Smyth Computer Security–ESORICS 2010: 15th European Symposium on Research in …, 2010	273	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	243	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	216	2003
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	204	2016
Automated verification of equivalence properties of cryptographic protocols R Chadha, Ş Ciobâcă, S Kremer European Symposium on Programming, 108-127, 2012	204*	2012
A survey of symbolic methods in computational analysis of cryptographic systems V Cortier, S Kremer, B Warinschi Journal of Automated Reasoning 46, 225-259, 2011	153	2011
Game analysis of abuse-free contract signing S Kremer, JF Raskin Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002	117	2002
Automated analysis of security protocols with global state S Kremer, R Künnemann Journal of Computer Security 24 (5), 583-616, 2016	107	2016
Formal analysis of multiparty contract signing R Chadha, S Kremer, A Scedrov Journal of Automated Reasoning 36 (1), 39-83, 2006	100	2006
An extensive formal analysis of multi-factor authentication protocols C Jacomme, S Kremer ACM Transactions on Privacy and Security (TOPS) 24 (2), 1-34, 2021	99	2021
DEEPSEC: deciding equivalence properties in security protocols theory and practice V Cheval, S Kremer, I Rakotonirina 2018 IEEE symposium on security and privacy (SP), 529-546, 2018	97	2018
An optimistic non-repudiation protocol with transparent trusted third party O Markowitch, S Kremer International Conference on Information Security, 363-378, 2001	96	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
Optimistic non-repudiable information exchange S Kremer, O Markowitch Symposium on Information Theory in the Benelux, 139-146, 2000	82	2000
Formal analysis of PKCS# 11 S Delaune, S Kremer, G Steel 2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008	80	2008
A multi-party optimistic non-repudiation protocol O Markowitch, S Kremer International Conference on Information Security and Cryptology, 109-122, 2000	80	2000

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs