Publication Overview

Michael Backes and Matteo Maffei and Esfandiar Mohammadi

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

Published in: FSTTCS
Year: 2010
Pages: 352-363