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

DOI10.1007/978-3-319-12280-9_12zbMath1436.94042OpenAlexW2216392678MaRDI QIDQ5498725

Florian Böhl, Simon Greiner, Patrik Scheidecker

Publication date: 10 February 2015

Published in: Cryptology and Network Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12280-9_12

Mathematics Subject Classification ID

Cryptography (94A60)

Uses Software

This page was built for publication: Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender