Publication Overview

M. Backes and M. Maffei and E. Mohammadi

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

Published in: Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Year: 2010
Pages: 352-363