SSR 2014: London, UK

Refine list

showing all ?? records

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