Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies).

Luca Vigan

Browse the full Coordination paper archive.