Current projects

• Cryptographic security of reactive systems -- linking cryptography and formal methods
• Direct anonymous attestation (DAA)
• Distributing trust on the Internet / SINTRA
• Enterprise privacy technologies
• Federated identity management
• idemix - pseudonymity for e-transactions
• Privacy-enhancing crypto
• Regulations Expressed As Logical Models (REALM)
• Secure networked storage

Blasts from the past: some old projects

• Advanced cryptographic engine (ACE), code available from Alphaworks
• KryptoKnight / NetSP
• Mobile code security and computing with encrypted functions
• Provably secure cryptographic primitives
• SAMSON
• Secure electronic commerce
  • Secure electronic marketplace for europe (SEMPER)
  • Fair and secure electronic transactions
  • Internet keyed payment protocols (iKP)
  • Dispute handling for e-commerce protocols
• Security services for dynamic peer groups