Concepedia

Ralf Sasse

RS

23

Publications

1.2K

Citations

18

H-Index

2007

Active since

Affiliations

ETH Zurich(Current)

University of Oxford

Université de Lorraine

University of Illinois Urbana-Champaign

Centre National de la Recherche Scientifique

Ralf Sasse is an author at ETH Zurich specializing in formal verification, engineering, and cryptography.

Top concepts

EngineeringFormal VerificationCryptographyData SecurityComputer ScienceInformation SecurityVerificationFormal MethodsData PrivacyHardware Security

Publications per year

2007–2023

23

Publications

23

A Formal Analysis of 5G Authentication

David Basin, Jannik Dreier, Lucca Hirschi et al. · 2018 · 391 citations · Full text

Mobile Security, Engineering, Information Security +16

Folding variant narrowing and optimal variant termination

Santiago Escobar, Ralf Sasse, José Meseguer · The Journal of Logic and Algebraic Programming · 2012 · 119 citations · Full text

Mathematical Programming, Variant Narrowing, Engineering +4

David Basin, Cas Cremers, Tiffany Hyun‐Jin Kim et al. · 2014 · 110 citations

Engineering, Tamarin Prover, Information Security +16

Automated Symbolic Proofs of Observational Equivalence

David Basin, Jannik Dreier, Ralf Sasse · 2015 · 73 citations · Full text

Cryptographic Primitive, Engineering, Information Security +20

A Systematic Approach to Uncover Security Flaws in GUI Logic

Shuo Chen, José Meseguer, Ralf Sasse et al. · 2007 · 50 citations

Engineering, Usable Security, Evasion Technique +22

Rows per page

1–5 of 23