Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender.

Florian Bhl, Simon Greiner, Patrik Scheidecker

Browse the full CANS paper archive.