Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

Authors Michael Backes, Matteo Maffei, Esfandiar Mohammadi



PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2010.352.pdf
  • Filesize: 0.51 MB
  • 12 pages

Document Identifiers

Author Details

Michael Backes
Matteo Maffei
Esfandiar Mohammadi

Cite AsGet BibTex

Michael Backes, Matteo Maffei, and Esfandiar Mohammadi. Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). Leibniz International Proceedings in Informatics (LIPIcs), Volume 8, pp. 352-363, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/LIPIcs.FSTTCS.2010.352

Abstract

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.
Keywords
  • Computational soundness
  • Secure multi-party computation
  • Process calculi
  • Protocol verification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail