Proving Correctness and Security of Two-Party Computation Implemented in Java

No ratings

Presented at CANS 2014 by

Florian Böhl

Simon Greiner

Patrik Scheidecker

N/A