Paul_F.__Syverson
Adding Time to a Logic of Authentication
Group principals and the formalization of anonymity
On unifying some cryptographic protocol logics
Onion Routing access configurations
Oorschot. A unified cryptographic protocol logic
Private web browsing
Protocols using anonymous connections: mobile applications
The epistemic representation of information flow security in probabilistic systems