Engineering Cryptosystems
  • 1: Symmetric Encryption
  • 2: Using Symmetric Encryption
  • 3: Public-Key Protocols
  • 4: Cryptographic Future

Secure Computation

For more on my research group's work on secure computation, see https://www.mightbeevil.com.

Continue to Automatic Checking Protocol Implementations


David Evans
University of Virginia

Site built using Pelican. Theme uses Bootstrap, and Font-Awesome.