Arsac, Wihem, Giampaolo Bella, Xavier Chantry, and Luca Compagna. "Validating Security Protocols under the General Attacker." In Foundations and Applications of Security Analysis, 33-51. Berlin, Heidelberg: Springer, 2009.

Armando, Alessandro, and Luca Compagna. "SAT-based Model-Checking for Security Protocols Analysis." International Journal of Information Security 7, no. 1 (2008): 3-32.