The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis.

Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina

Browse the full CAV paper archive.