SATMC: A SAT-Based Model Checker for Security Protocols.

Alessandro Armando, Luca Compagna

Browse the full JELIA paper archive.