Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

DOI10.4230/LIPICS.FSTTCS.2010.352zbMath1245.68027OpenAlexW1584741922MaRDI QIDQ2908865

Esfandiar Mohammadi, Michael Backes, Matteo Maffei

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_c61f.html

zbMATH Keywords

process calculisecure multi-party computationprotocol verificationcomputational soundness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Uses Software

• OFMC

This page was built for publication: Computationally Sound Abstraction and Verification of Secure Multi-Party Computations