@misc{cryptoeprint:2014:618,
    author = {Florian Böhl and Simon Greiner and Patrik Scheidecker},
    title = {Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender},
    howpublished = {Cryptology ePrint Archive, Report 2014/618},
    year = {2014},
    url = {https://eprint.iacr.org/2014/618},
}