Publication
Quantitatively Differentiating System Security
Publication
Binder, a logic-based security language
Publication
Authenticity by Typing for Security Protocols
Publication