Ralf Sasse - RankMe

58 papers A* 13A 9B 1C 1Journal 16Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version). CoRR Sofia Giampietro, Ralf Sasse, David A. Basin
2026	—	`book`	Modeling and Analyzing Security Protocols with Tamarin - A Comprehensive Guide David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2025	A*	`conf`	A Formal Analysis of Apple's iMessage PQ3 Protocol. USENIX Security Symposium Felix Linker, Ralf Sasse, David A. Basin
2025	A*	`conf`	AKMA+: Security and Privacy-Enhanced and Standard-Compatible AKMA for 5G Communication. USENIX Security Symposium Yang Yang, Guomin Yang, Yingjiu Li, Minming Huang, Zilin Shen, Imtiaz Karim, Ralf Sasse, David A. Basin, Elisa Bertino, Jian Weng, HweeHwa Pang, Robert H. Deng
2025	J	`jnl`	One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version). CoRR Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin
2025	A	`conf`	One For All: Formally Verifying Protocols which use Aggregate Signatures. CSF Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin
2025	J	`jnl`	SoK: Attacks on Modern Card Payments. CoRR Xenia Hofmeier, David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2024	J	`jnl`	A Formal Analysis of Apple's iMessage PQ3 Protocol. IACR Cryptol. ePrint Arch. Felix Linker, Ralf Sasse, David A. Basin
2024	J	`jnl`	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2024	—	`conf`	Getting Chip Card Payments Right. FM (1) David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo
2023	A*	`conf`	Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022	A*	`conf`	"I'm Surprised So Much Is Connected". CHI Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin
2022	J	`jnl`	Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller
2022	J	`jnl`	Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2021	—	`conf`	A comprehensive formal analysis of 5G handover. WISEC Aleksi Peltonen, Ralf Sasse, David A. Basin
2021	A*	`conf`	Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. USENIX Security Symposium David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2021	A*	`conf`	The EMV Standard: Break, Fix, Verify. SP David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2020	A*	`conf`	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2020	A	`conf`	Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. AsiaCCS Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield
2020	A	`conf`	Privacy-Preserving OpenID Connect. AsiaCCS Sven Hammann, Ralf Sasse, David A. Basin
2020	A	`conf`	SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
2020	J	`jnl`	The EMV Standard: Break, Fix, Verify. CoRR David A. Basin, Ralf Sasse, Jorge Toro-Pozo
2020	J	`jnl`	Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
2019	A	`conf`	A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. EuroS&P Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
2019	J	`jnl`	Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
2019	J	`jnl`	Security Issues in the 5G Standard and How Formal Methods Come to the Rescue. ERCIM News Lucca Hirschi, Ralf Sasse, Jannik Dreier
2019	A*	`conf`	Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
2019	J	`jnl`	Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptol. ePrint Arch. Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
2019	—	`conf`	Symbolic Analysis of Identity-Based Protocols. Foundations of Security, Protocols, and Equational Reasoning David A. Basin, Lucca Hirschi, Ralf Sasse
2019	A*	`conf`	User Account Access Graphs. CCS Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin
2018	A*	`conf`	A Formal Analysis of 5G Authentication. CCS David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
2018	A	`conf`	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
2018	J	`jnl`	Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
2018	J	`jnl`	Formal Analysis of 5G Authentication. CoRR David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
2017	—	`conf`	Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols. POST Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
2017	J	`jnl`	Symbolically analyzing security protocols using tamarin. ACM SIGLOG News David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
2016	—	`conf`	Automated Symbolic Proofs of Security Protocols. UNIF Ralf Sasse
2015	—	`conf`	Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse
2015	A*	`conf`	Automated Symbolic Proofs of Observational Equivalence. CCS David A. Basin, Jannik Dreier, Ralf Sasse
2014	A*	`conf`	ARPKI: Attack Resilient Public-Key Infrastructure. CCS David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski
2014	A*	`conf`	Automated Verification of Group Key Agreement Protocols. IEEE Symposium on Security and Privacy Benedikt Schmidt, Ralf Sasse, Cas Cremers, David A. Basin
2013	A	`conf`	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012	A	`conf`	Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
2012	J	`jnl`	Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. Santiago Escobar, Ralf Sasse, José Meseguer
2012	—	`conf`	IBOS: A Correct-By-Construction Modular Browser. FACS Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang
2012	—	`—`	Security models in rewriting logic for cryptographic protocols and browsers Ralf Sasse
2011	—	`conf`	Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2011	C	`conf`	Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
2010	—	`conf`	Folding Variant Narrowing and Optimal Variant Termination. WRLA Santiago Escobar, Ralf Sasse, José Meseguer
2010	—	`conf`	Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer
2009	A	`conf`	Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
2008	—	`conf`	Effectively Checking the Finite Variant Property. RTA Santiago Escobar, José Meseguer, Ralf Sasse
2008	—	`conf`	Equational Unification by Variant Narrowing (Extended Abstract). UNIF Santiago Escobar, José Meseguer, Ralf Sasse
2008	—	`conf`	Variant Narrowing and Equational Unification. WRLA Santiago Escobar, José Meseguer, Ralf Sasse
2007	—	`conf`	A Systematic Approach to Uncover Security Flaws in GUI Logic. S&P José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
2007	—	`ch.`	Some Tools. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo
2006	—	`conf`	Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. WRLA Ralf Sasse, José Meseguer
2005	B	`conf`	Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR Wolfgang Ahrendt, Andreas Roth, Ralf Sasse