Steve Kremer

Citado por

	Total	Desde 2019
Citas	5490	1411
Índice h	38	19
Índice i10	73	37

340

170

255

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 17 75 87 179 189 171 260 308 315 333 334 308 305 254 231 311 283 234 253 228 250 215 229

Acceso público

Ver todo

32 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Stéphanie DelauneUniv Rennes, CNRS, IRISADirección de correo verificada de irisa.fr
Mark D. RyanProfessor of Computer Security, University of BirminghamDirección de correo verificada de bham.ac.uk
Olivier MarkowitchUniversité Libre de Bruxelles, BelgiumDirección de correo verificada de ulb.be
Véronique CortierCNRS, LORIADirección de correo verificada de loria.fr
Vincent ChevalUniversity of Oxford, United KingdomDirección de correo verificada de cs.ox.ac.uk
Graham SteelINRIADirección de correo verificada de cryptosense.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Bogdan WarinschiUniversity of Bristol and DfinityDirección de correo verificada de cs.bris.ac.uk
Rohit ChadhaUniversity of MissouriDirección de correo verificada de missouri.edu
Ben SmythFounder-CEO, x26.ioDirección de correo verificada de bensmyth.com
Stefan CiobacaAlexandru Ioan Cuza UniversityDirección de correo verificada de info.uaic.ro
Myrto ArapinisSchool of Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Jianying ZhouProfessor, Singapore University of Technology and Design (SUTD)Dirección de correo verificada de sutd.edu.sg
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterDirección de correo verificada de tuwien.ac.at
Laurent MazaréKyutaiDirección de correo verificada de polytechnique.org
Jannik DreierLORIA, Université de Lorraine, TELECOM NancyDirección de correo verificada de loria.fr
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de math.upenn.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.saarland
Ralf SasseSenior Scientist in Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Céline ChevalierAssistant Professor of Computer Science, Université Paris 2Dirección de correo verificada de ens.fr

Seguir

Steve Kremer

Inria

Dirección de correo verificada de inria.fr - Página principal

Security security protocols formal methods verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	441	2009
An intensive survey of fair non-repudiation protocols S Kremer, O Markowitch, J Zhou Computer communications 25 (17), 1606-1621, 2002	430	2002
An efficient strong designated verifier signature scheme S Saeednia, S Kremer, O Markowitch Information Security and Cryptology-ICISC 2003: 6th International Conference …, 2004	385	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	270	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	240	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	215	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	199	2016
Automated verification of equivalence properties of cryptographic protocols R Chadha, Ş Ciobâcă, S Kremer European Symposium on Programming, 108-127, 2012	199*	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	149	2011
Game analysis of abuse-free contract signing S Kremer, JF Raskin Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002	116	2002
Automated analysis of security protocols with global state S Kremer, R Künnemann Journal of Computer Security 24 (5), 583-616, 2016	103	2016
Formal analysis of multiparty contract signing R Chadha, S Kremer, A Scedrov Journal of Automated Reasoning 36 (1), 39-83, 2006	99	2006
An optimistic non-repudiation protocol with transparent trusted third party O Markowitch, S Kremer International Conference on Information Security, 363-378, 2001	96	2001
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	94	2018
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	92	2021
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores