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

Refine list

showing all ?? records

Analysis of Cryptographic Protocols

Quantitative Aspects of Information Flow

Information Flow Control in Programming Languages

Cryptography in Implementations

Policies and Attacks

a service of  Schloss Dagstuhl - Leibniz Center for Informatics