Secure Computation For more on my research group's work on secure computation, see https://www.mightbeevil.com. Continue to Automatic Checking Protocol Implementations