SSR 2014: London, UK

Cryptographic Evaluation

Standards Development

Analysis with Formal Methods

Potential Future Areas of Standardisation

Improving Existing Standards

a service of Schloss Dagstuhl - Leibniz Center for Informatics