FCS-PrivMod 2010 Accepted Papers

Annotated sequence diagrams
A Formal Definition of Online Abuse-freeness
Protocol independence through disjoint encryption under Exclusive-OR
Formal Analysis of Privacy for Vehicular Mix-Zones
Don't Let The Opponents Grind You Down
Confidential Safety via Correspondence Assertions
Enforcing More Than Safety Properties by Program Rewriting: Algebraic Foundations
Calculating Information Leakage from System Tests: Mix Nodes and e-Passports
Towards Information as Resource in Separation Logic
Enhanced Security and Efficiency for Authenticated Key Agreement
Safe and Efficient Strategies for Updating Firewall Policies
Pre- and Post-conditions for Security Typechecking