Benedikt Schmidt

Cited by

	All	Since 2016
Citations	1455	1080
h-index	18	16
i10-index	19	19

260

130

195

2010201120122013201420152016201720182019202020219 22 36 42 91 137 129 196 244 236 241 33

Co-authors

David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information Security, Saarland UniversityVerified email at cispa.de
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Srdjan Capkun (Srđan Čapkun)Professor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Simon MeierDirector of Engineering, Digital AssetVerified email at digitalasset.com
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Kasper RasmussenUniversity of OxfordVerified email at cs.ox.ac.uk
César KunzPostdoctoral Researcher, IMDEA SoftwareVerified email at imdea.org
Dario FioreAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Edvard FagerholmSoftware Engineer, GoogleVerified email at google.com
Juan Manuel CrespoVolkswagen AGVerified email at volkswagen.de
Bogdan WarinschiUniversity of BristolVerified email at cs.bris.ac.uk
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Tiago OliveiraHASLab, INESC TEC, FCUPVerified email at inesctec.pt
Hugo PachecoHasLab & INESC TECVerified email at inesctec.pt
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
Véronique CortierCNRS, LORIAVerified email at loria.fr

Benedikt Schmidt

Google

Verified email at google.com - Homepage

Formal Methods Security Protocols Cryptography Program Verification Rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The TAMARIN prover for the symbolic analysis of security protocols S Meier, B Schmidt, C Cremers, D Basin International Conference on Computer Aided Verification, 696-701, 2013	386	2013
Automated analysis of Diffie-Hellman protocols and advanced security properties B Schmidt, S Meier, C Cremers, DA Basin Proceedings of the 25rd IEEE Computer Security Foundations Symposium, CSF, 25-27, 2012	221	2012
Distance hijacking attacks on distance bounding protocols C Cremers, KB Rasmussen, B Schmidt, S Capkun 2012 IEEE Symposium on Security and Privacy, 113-127, 2012	179	2012
EasyCrypt: A Tutorial G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub Foundations of security analysis and design vii, 146-166, 2013	123	2013
Jasmin: High-assurance and high-speed cryptography JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	71	2017
Fully automated analysis of padding-based encryption in the computational model G Barthe, JM Crespo, B Grégoire, C Kunz, Y Lakhnech, B Schmidt, ... Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013	47	2013
Modeling and verifying physical properties of security protocols for wireless networks P Schaller, B Schmidt, D Basin, S Capkun Computer Security Foundations Symposium, 2009. CSF'09. 22nd IEEE, 109-123, 2009	46	2009
Automated analysis of cryptographic assumptions in generic group models G Barthe, E Fagerholm, D Fiore, J Mitchell, A Scedrov, B Schmidt Annual Cryptology Conference, 95-112, 2014	43	2014
Automated verification of group key agreement protocols B Schmidt, R Sasse, C Cremers, D Basin 2014 IEEE Symposium on Security and Privacy, 179-194, 2014	43	2014
Formal Reasoning about Physical Properties of Security Protocols D Basin, S Capkun, P Schaller, B Schmidt ACM Transactions on Information and System Security (TISSEC) 14 (2), 16, 2011	40	2011
Formal analysis of key exchange protocols and physical protocols B Schmidt ETH Zurich, Switzerland, 2012	36	2012
Strongly-optimal structure preserving signatures from type II pairings: Synthesis and lower bounds G Barthe, E Fagerholm, D Fiore, A Scedrov, B Schmidt, M Tibouchi IET Information Security 10 (6), 358-371, 2016	34	2016
Key confirmation in key exchange: A formal treatment and implications for TLS 1.3 M Fischlin, F Günther, B Schmidt, B Warinschi 2016 IEEE Symposium on Security and Privacy (SP), 452-469, 2016	33	2016
Let’s get physical: Models and methods for real-world security protocols D Basin, S Capkun, P Schaller, B Schmidt Theorem Proving in Higher Order Logics, 1-22, 2009	27	2009
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols G Barthe, JM Crespo, Y Lakhnech, B Schmidt Annual International Conference on the Theory and Applications of …, 2015	23	2015
Machine-checked proofs of privacy for electronic voting protocols V Cortier, CC Drăgan, F Dupressoir, B Schmidt, PY Strub, B Warinschi 2017 IEEE Symposium on Security and Privacy (SP), 993-1008, 2017	20	2017
Automated proofs of pairing-based cryptography G Barthe, B Grégoire, B Schmidt Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015	20	2015
Generic Transformations of Predicate Encodings: Constructions and Applications. M Ambrona, G Barthe, B Schmidt International Cryptology Conference, 2016	18	2016
Automated unbounded analysis of cryptographic constructions in the generic group model M Ambrona, G Barthe, B Schmidt Annual International Conference on the Theory and Applications of …, 2016	14	2016
The TAMARIN prover: source code and case studies S Meier, B Schmidt, C Cremers April, 2012	8	2012

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

Upload PDF

Follow this author

Cited by

Co-authors