Peter Sewell - Semantics Notes
On the Anonymity of Anonymity Systems Andrei Serjantov [email protected] (anonymous)
Hop Operational Semantics Paris, February 23 rd Tamara Rezk Indes Team, INRIA.
On the Anonymity of Anonymity Systems
The SAL Language Manual