A Gentle Introduction to Semantic Subtyping
Security Analysis of Network Protocols: Logical and Computational Methods
Logics for Unranked Trees: An Overview
Nash Equilibria, the Price of Anarchy and Fully Mixed Nash Equilibrium Conjecture
Cryptography - State of the Science
Holographic Circuits