Travelled to:1 × South Korea
1 × USA
Collaborated with:M.Backes S.Gerling S.Lukas M.Maffei K.Pecina
Talks about:protocol (1) abstract (1) protect (1) control (1) analysi (1) mechan (1) causal (1) secur (1) expir (1) caspa (1)
Person: Stefan Lorenz
DBLP: Lorenz:Stefan
Contributed to:
2014
2008Wrote 2 papers:
- SAC-2014-BackesGLL
- X-pire 2.0: a user-controlled expiration date and copy protection mechanism (MB, SG, SL, SL), pp. 1633–1640.
- CAV-2008-BackesLMP #abstraction #analysis #protocol #security
- The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis (MB, SL, MM, KP), pp. 419–422.