3. POST 2014: Grenoble, France (Part of ETAPS 2014)

Analysis of Cryptographic Protocols

Quantitative Aspects of Information Flow

Information Flow Control in Programming Languages

Cryptography in Implementations

Policies and Attacks

maintained by Schloss Dagstuhl LZI at University of Trier