Ralf Sasse

Cited by

	All	Since 2018
Citations	1670	1132
h-index	23	17
i10-index	31	23

340

170

255

20062007200820092010201120122013201420152016201720182019202020212022202313 20 13 24 25 24 58 41 54 80 54 104 110 176 227 231 330 57

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Jannik DreierLORIA, Université de Lorraine, TELECOM NancyVerified email at loria.fr
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Lucca HirschiTenured Inria Researcher @ LoriaVerified email at inria.fr
Sasa RadomirovicUniversity of SurreyVerified email at surrey.ac.uk
Cas CremersProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Adrian PerrigProfessor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab FellowVerified email at inf.ethz.ch
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Paweł SzałachowskiVerified email at google.com
Tiffany Hyun-Jin KimCarnegie Mellon UniversityVerified email at ece.cmu.edu
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Christoph SprengerSenior researcher at ETH ZurichVerified email at inf.ethz.ch
Helen J. WangPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Liqun ChenProfessor, University of Surrey, UKVerified email at surrey.ac.uk
Jorden WhitefieldIndependent ResearcherVerified email at jwhitefield.co.uk
Steve KremerInriaVerified email at inria.fr
Dennis JacksonMozillaVerified email at mozilla.com
Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerified email at dsic.upv.es

Ralf Sasse

Senior Scientist in Computer Science, ETH Zurich

Verified email at inf.ethz.ch - Homepage

Formal Methods Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal analysis of 5G authentication D Basin, J Dreier, L Hirschi, S Radomirovic, R Sasse, V Stettler Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018	336	2018
Folding variant narrowing and optimal variant termination S Escobar, R Sasse, J Meseguer The Journal of Logic and Algebraic Programming 81 (7-8), 898-928, 2012	158	2012
ARPKI: Attack resilient public-key infrastructure D Basin, C Cremers, THJ Kim, A Perrig, R Sasse, P Szalachowski Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014	156	2014
Automated symbolic proofs of observational equivalence D Basin, J Dreier, R Sasse Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015	111	2015
A systematic approach to uncover security flaws in GUI logic S Chen, J Meseguer, R Sasse, HJ Wang, YM Wang 2007 IEEE Symposium on Security and Privacy (SP'07), 71-85, 2007	70	2007
A systematic approach to uncover security flaws in GUI logic S Chen, J Meseguer, R Sasse, HJ Wang, YM Wang 2007 IEEE Symposium on Security and Privacy (SP'07), 71-85, 2007	70	2007
Variant narrowing and equational unification S Escobar, J Meseguer, R Sasse Electronic Notes in Theoretical Computer Science 238 (3), 103-119, 2009	62	2009
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	59	2014
Design, analysis, and implementation of ARPKI: an attack-resilient public-key infrastructure D Basin, C Cremers, THJ Kim, A Perrig, R Sasse, P Szalachowski IEEE Transactions on Dependable and Secure Computing 15 (3), 393-408, 2016	57	2016
Beyond subterm-convergent equational theories in automated verification of stateful protocols J Dreier, C Duménil, S Kremer, R Sasse Principles of Security and Trust: 6th International Conference, POST 2017 …, 2017	55	2017
Automated unbounded verification of stateful cryptographic protocols with exclusive OR J Dreier, L Hirschi, S Radomirovic, R Sasse 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 359-373, 2018	49	2018
Java+ ITP: A verification tool based on Hoare logic and algebraic semantics R Sasse, J Meseguer Electronic Notes in Theoretical Computer Science 176 (4), 29-46, 2007	35	2007
Automatic validation of transformation rules for Java verification against a rewriting semantics W Ahrendt, A Roth, R Sasse Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005	34	2005
The EMV standard: Break, fix, verify D Basin, R Sasse, J Toro-Pozo 2021 IEEE Symposium on Security and Privacy (SP), 1766-1781, 2021	31	2021
Symbolically analyzing security protocols using tamarin D Basin, C Cremers, J Dreier, R Sasse ACM SIGLOG News 4 (4), 19-30, 2017	31	2017
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. R Sasse, S Escobar, CA Meadows, J Meseguer STM 6710, 163-178, 2010	29	2010
Seems legit: Automated analysis of subtle attacks on protocols that use signatures D Jackson, C Cremers, K Cohn-Gordon, R Sasse Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019	28	2019
Effectively checking the finite variant property S Escobar, J Meseguer, R Sasse Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008	27	2008
Effectively checking the finite variant property S Escobar, J Meseguer, R Sasse Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008	27	2008
A spectral analysis of noise: a comprehensive, automated, formal analysis of Diffie-Hellman protocols G Girol, L Hirschi, R Sasse, D Jackson, C Cremers, D Basin Proceedings of the 29th USENIX Security Symposium, 2020	26	2020

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

Cited by

Co-authors