Steve Kremer

Dikutip oleh

	Semua	Sejak 2020
Kutipan	5580	1271
indeks-h	37	17
indeks-i10	73	36

340

170

255

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 18 74 88 181 191 175 260 298 325 334 324 312 306 256 230 318 281 228 265 234 247 223 262 40

Akses publik

Lihat semua

34 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Stéphanie DelauneUniv Rennes, CNRS, IRISAEmail yang diverifikasi di irisa.fr
Mark D. RyanProfessor of Computer Security, University of BirminghamEmail yang diverifikasi di bham.ac.uk
Olivier MarkowitchUniversité Libre de Bruxelles, BelgiumEmail yang diverifikasi di ulb.be
Véronique CortierCNRS, LORIAEmail yang diverifikasi di loria.fr
Vincent ChevalUniversity of Oxford, United KingdomEmail yang diverifikasi di cs.ox.ac.uk
Graham SteelINRIAEmail yang diverifikasi di cryptosense.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Email yang diverifikasi di ulb.ac.be
Charlie JacommeUniversité de Lorraine, LORIA, Inria Nancy Grand-EstEmail yang diverifikasi di inria.fr
Bogdan WarinschiUniversity of Bristol and DfinityEmail yang diverifikasi di cs.bris.ac.uk
Rohit ChadhaUniversity of MissouriEmail yang diverifikasi di missouri.edu
Ben SmythFounder-CEO, x26.ioEmail yang diverifikasi di bensmyth.com
Stefan CiobacaAlexandru Ioan Cuza UniversityEmail yang diverifikasi di info.uaic.ro
Myrto ArapinisSchool of Informatics, University of EdinburghEmail yang diverifikasi di inf.ed.ac.uk
Jannik DreierLORIA, Université de Lorraine, TELECOM NancyEmail yang diverifikasi di loria.fr
Lucca HirschiTenured Inria Researcher @ LoriaEmail yang diverifikasi di inria.fr
Jianying ZhouProfessor, Singapore University of Technology and Design (SUTD)Email yang diverifikasi di sutd.edu.sg
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterEmail yang diverifikasi di tuwien.ac.at
Laurent MazaréKyutaiEmail yang diverifikasi di polytechnique.org
Ralf SasseSenior Scientist in Computer Science, ETH ZurichEmail yang diverifikasi di inf.ethz.ch
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityEmail yang diverifikasi di cispa.saarland

Ikuti

Steve Kremer

Inria

Email yang diverifikasi di inria.fr - Beranda

Security security protocols formal methods verification


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Verifying privacy-type properties of electronic voting protocols S Delaune, S Kremer, M Ryan Journal of Computer Security 17 (4), 435-487, 2009	448	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	389	2004
Analysis of an electronic voting protocol in the applied pi calculus S Kremer, M Ryan European Symposium on Programming, 186-200, 2005	336	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	245	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	213	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	203	2016
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	154	2011
Game analysis of abuse-free contract signing S Kremer, JF Raskin Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002	118	2002
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	105	2021
Automated analysis of security protocols with global state S Kremer, R Künnemann Journal of Computer Security 24 (5), 583-616, 2016	105	2016
Formal analysis of multiparty contract signing R Chadha, S Kremer, A Scedrov Journal of Automated Reasoning 36 (1), 39-83, 2006	102	2006
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	96	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	82	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	81	2000
Formal analysis of PKCS# 11 S Delaune, S Kremer, G Steel 2008 21st IEEE Computer Security Foundations Symposium, 331-344, 2008	78	2008
Computing knowledge in security protocols under convergent equational theories Ş Ciobâcă, S Delaune, S Kremer Journal of Automated Reasoning 48 (2), 219-262, 2012	77	2012

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama