Past cryptography and security projects
This page gives access to project pages of several past research projects in cryptography and network security at IBM Research - Zurich.
2005 – today
- Direct anonymous attestation (DAA)
- Combining cryptographic and formal proof techniques
- Rational cryptography
- Privacy-enhancing cryptography
2000 – 2005
- JCOP embedded security software
- Distributing trust on the Internet / SINTRA
- Mobile code security and computing with encrypted functions