A Formal Analysis of 5G Authentication

David Basin, Jannik Dreier, Lucca Hirschi, +3

Mobile SecurityEngineeringInformation SecurityVerificationFormal Verification +14

Folding variant narrowing and optimal variant termination

Santiago Escobar, Ralf Sasse, José Meseguer

The Journal of Logic and Algebraic Programming

Mathematical ProgrammingVariant NarrowingEngineeringParameterized AlgorithmCombinatorial Design +2

ARPKI

David Basin, Cas Cremers, Tiffany Hyun‐Jin Kim, +2

EngineeringTamarin ProverInformation SecurityVerificationCryptographic Protocol +14

Automated Symbolic Proofs of Observational Equivalence

David Basin, Jannik Dreier, Ralf Sasse

Cryptographic PrimitiveEngineeringInformation SecurityStateful Tpm ProtocolVerification +18

A Systematic Approach to Uncover Security Flaws in GUI Logic

Shuo Chen, José Meseguer, Ralf Sasse, +2

EngineeringUsable SecurityEvasion TechniqueInformation SecurityVerification +20

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

David Basin, Cas Cremers, Tiffany Hyun‐Jin Kim, +2

IEEE Transactions on Dependable and Secure Computing

EngineeringInformation SecurityVerificationPki ArchitectureCryptographic Protocol +19

Symbolically analyzing security protocols using tamarin

David Basin, Cas Cremers, Jannik Dreier, +1

ACM SIGLOG News

EngineeringInformation SecurityVerificationSecurity EvaluationSymbolic Analysis +14

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

Jannik Dreier, Lucca Hirschi, Saša Radomirović, +1

Cryptographic PrimitiveEngineeringInformation SecurityVerificationComputer-aided Verification +17

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

David Basin, Cas Cremers, Jannik Dreier, +1

IEEE Security & Privacy

Cryptographic PrimitiveEngineeringInformation SecurityVerificationCryptographic Technology +14

Automated Verification of Group Key Agreement Protocols

Benedikt Schmidt, Ralf Sasse, Cas Cremers, +1

Cryptographic PrimitiveEngineeringTamarin ProverInformation SecurityVerification +14