We stand with Ukraine

We stand with Ukraine

Ralf Sasse

Orcid: 0000-0002-5632-6099

According to our database¹, Ralf Sasse authored at least 44 papers between 2005 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on orcid.org

On csauthors.net:

Bibliography

2023

Sound Verification of Security Protocols: From Design to Interoperable Implementations.

[BibT_eX]

[DOI]

,

,

Joseph Lallemand

,

,

Christoph Sprenger

,

Sven N. Wiesner

,

,

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.

[BibT_eX]

[DOI]

,

,

,

IEEE Secur. Priv., 2022

Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version).

[BibT_eX]

[DOI]

,

,

Joseph Lallemand

,

,

Christoph Sprenger

,

Sven N. Wiesner

,

,

CoRR, 2022

"I'm Surprised So Much Is Connected".

[BibT_eX]

[DOI]

,

,

Sasa Radomirovic

,

,

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021

A comprehensive formal analysis of 5G handover.

[BibT_eX]

[DOI]

Aleksi Peltonen

,

,

Proceedings of the WiSec '21: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Abu Dhabi, United Arab Emirates, 28 June, 2021

Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions.

[BibT_eX]

[DOI]

,

,

Jorge Toro-Pozo

Proceedings of the 30th USENIX Security Symposium, 2021

The EMV Standard: Break, Fix, Verify.

[BibT_eX]

[DOI]

,

,

Jorge Toro-Pozo

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Verification of stateful cryptographic protocols with exclusive OR.

[BibT_eX]

[DOI]

,

,

Sasa Radomirovic

,

J. Comput. Secur., 2020

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.

[BibT_eX]

[DOI]

Guillaume Girol

,

,

,

,

,

Proceedings of the 29th USENIX Security Symposium, 2020

SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust.

[BibT_eX]

[DOI]

,

AbdelRahman Abdou

,

,

Christoph Sprenger

,

,

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme.

[BibT_eX]

[DOI]

Stephan Wesemeyer

,

Christopher J. P. Newton

,

,

,

,

Jorden Whitefield

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

Privacy-Preserving OpenID Connect.

[BibT_eX]

[DOI]

,

,

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.

[BibT_eX]

[DOI]

,

,

Katriel Cohn-Gordon

,

IACR Cryptol. ePrint Arch., 2019

Security Issues in the 5G Standard and How Formal Methods Come to the Rescue.

[BibT_eX]

[DOI]

,

,

ERCIM News, 2019

Proxy Certificates: The Missing Link in the Web's Chain of Trust.

[BibT_eX]

[DOI]

,

AbdelRahman Abdou

,

,

Christoph Sprenger

,

,

CoRR, 2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation.

[BibT_eX]

[DOI]

Jorden Whitefield

,

,

,

Steve A. Schneider

,

,

Stephan Wesemeyer

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

User Account Access Graphs.

[BibT_eX]

[DOI]

,

Sasa Radomirovic

,

,

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Symbolic Analysis of Identity-Based Protocols.

[BibT_eX]

[DOI]

,

,

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure.

[BibT_eX]

[DOI]

,

,

Tiffany Hyun-Jin Kim

,

,

,

Pawel Szalachowski

IEEE Trans. Dependable Secur. Comput., 2018

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR.

[BibT_eX]

[DOI]

,

,

Sasa Radomirovic

,

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

A Formal Analysis of 5G Authentication.

[BibT_eX]

[DOI]

,

,

,

Sasa Radomirovic

,

,

Vincent Stettler

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Symbolically analyzing security protocols using tamarin.

[BibT_eX]

[DOI]

,

,

,

ACM SIGLOG News, 2017

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols.

[BibT_eX]

[DOI]

,

Charles Duménil

,

,

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Automated Symbolic Proofs of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Unification, 2016

2015

Automated Symbolic Proofs of Observational Equivalence.

[BibT_eX]

[DOI]

,

,

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Alice and Bob Meet Equational Theories.

[BibT_eX]

[DOI]

,

,

Sasa Radomirovic

,

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Automated Verification of Group Key Agreement Protocols.

[BibT_eX]

[DOI]

Benedikt Schmidt

,

,

,

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

ARPKI: Attack Resilient Public-Key Infrastructure.

[BibT_eX]

[DOI]

,

,

Tiffany Hyun-Jin Kim

,

,

,

Pawel Szalachowski

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.

[BibT_eX]

[DOI]

,

Santiago Escobar

,

,

,

Christopher Lynch

,

Catherine Meadows

,

,

Paliath Narendran

,

,

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Security models in rewriting logic for cryptographic protocols and browsers

[BibT_eX]

[DOI]

PhD thesis, 2012

Folding variant narrowing and optimal variant termination.

[BibT_eX]

[DOI]

Santiago Escobar

,

,

J. Log. Algebraic Methods Program., 2012

IBOS: A Correct-By-Construction Modular Browser.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.

[BibT_eX]

[DOI]

,

Santiago Escobar

,

,

,

Christopher Lynch

,

Catherine Meadows

,

,

Paliath Narendran

,

,

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.

[BibT_eX]

[DOI]

,

Santiago Escobar

,

,

,

Christopher Lynch

,

Catherine Meadows

,

,

Paliath Narendran

,

Proceedings of the 25th International Workshop on Unification, 2011

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.

[BibT_eX]

[DOI]

Santiago Escobar

,

,

Christopher Lynch

,

Catherine Meadows

,

,

Paliath Narendran

,

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010

Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA.

[BibT_eX]

[DOI]

,

Santiago Escobar

,

Catherine Meadows

,

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

2009

Model-Checking DoS Amplification for VoIP Session Initiation.

[BibT_eX]

[DOI]

Ravinder Shankesi

,

,

,

,

Proceedings of the Computer Security, 2009

2008

Variant Narrowing and Equational Unification.

[BibT_eX]

[DOI]

Santiago Escobar

,

,

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Equational Unification by Variant Narrowing (Extended Abstract).

[BibT_eX]

[DOI]

Santiago Escobar

,

,

Proceedings of the 22nd International Workshop on Unification, 2008

Effectively Checking the Finite Variant Property.

[BibT_eX]

[DOI]

Santiago Escobar

,

,

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007

A Systematic Approach to Uncover Security Flaws in GUI Logic.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

Some Tools.

[BibT_eX]

[DOI]

,

Francisco Durán

,

,

Patrick Lincoln

,

Narciso Martí-Oliet

,

,

Carolyn L. Talcott

,

Christiano Braga

,

,

,

Peter Csaba Ölveczky

,

Miguel Palomino

,

,

Mark-Oliver Stehr

,

Alberto Verdejo

Proceedings of the All About Maude, 2007

2006

Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics.

[BibT_eX]

[DOI]

,

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.

[BibT_eX]

[DOI]

Wolfgang Ahrendt

,

,

Proceedings of the Logic for Programming, 2005

Loading...