Abstraction-Driven SAT-based Analysis of Security Protocols.

Alessandro Armando, Luca Compagna

Browse the full SAT paper archive.