4. POST 2015: London, UK (Part of ETAPS 2015)

Invited Contribution

Information Flow and Security Types

Risk Assessment and Security Policies

Protocols

Hardware and Physical Security

Privacy and Voting

maintained by Schloss Dagstuhl LZI at University of Trier