A domain-specific programming language for secure multiparty computation.

Janus Dam Nielsen, Michael I. Schwartzbach

Browse the full PLDI paper archive.