Ralf Sasse

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]

J. Comput. Secur., 2020

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

[BibT_eX]

[DOI]

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

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

Privacy-Preserving OpenID Connect.

[BibT_eX]

[DOI]

Sven Hammann

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]

IACR Cryptol. ePrint Arch., 2019

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

[BibT_eX]

[DOI]

Lucca Hirschi

Jannik Dreier

ERCIM News, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation.

[BibT_eX]

[DOI]

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

User Account Access Graphs.

[BibT_eX]

[DOI]

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

Symbolic Analysis of Identity-Based Protocols.

[BibT_eX]

[DOI]

Lucca Hirschi

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]

IEEE Trans. Dependable Secur. Comput., 2018

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR.

[BibT_eX]

[DOI]

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

A Formal Analysis of 5G Authentication.

[BibT_eX]

[DOI]

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]

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]

Jannik Dreier

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

Alice and Bob Meet Equational Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Automated Verification of Group Key Agreement Protocols.

[BibT_eX]

[DOI]

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

ARPKI: Attack Resilient Public-Key Infrastructure.

[BibT_eX]

[DOI]

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]

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]

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]

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

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

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Unification, 2011

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

[BibT_eX]

[DOI]

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]

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

2009

Model-Checking DoS Amplification for VoIP Session Initiation.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2009

2008

Variant Narrowing and Equational Unification.

[BibT_eX]

[DOI]

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

Equational Unification by Variant Narrowing (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Unification, 2008

Effectively Checking the Finite Variant Property.

[BibT_eX]

[DOI]

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]

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

Andreas Roth