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.