Document Actions
Cryptography and Information Security
- Provable security;
 - Efficient and secure implementation of cryptographic software;
 - Formal verification of cryptographic proofs and implementations;
 - Domain-specific software developments tools for cryptography;
 - Privacy-enhancing data-management technologies.
 
