Backes, Michael
[Author];
Maffei, Matteo
[Author];
Mohammadi, Esfandiar
[Author]
;
Michael Backes and Matteo Maffei and Esfandiar Mohammadi
[Contributor]
Computationally Sound Abstraction and Verification of Secure Multi-Party Computations
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
We devise an abstraction of secure multi-party computations in the applied $\pi$-calculus. Based on this abstraction, we propose a methodology to mechanically analyze the security of cryptographic protocols employing secure multi-party computations. We exemplify the applicability of our framework by analyzing the SIMAP sugar-beet double auction protocol. We finally study the computational soundness of our abstraction, proving that the analysis of protocols expressed in the applied $\pi$-calculus and based on our abstraction provides computational security guarantees.