Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification
From MaRDI portal
Publication:5857790
DOI10.1007/978-3-319-28766-9_1zbMath1457.68180OpenAlexW2407868127MaRDI QIDQ5857790
Publication date: 7 April 2021
Published in: Trustworthy Global Computing (Search for Journal in Brave)
Full work available at URL: http://eprint.iacr.org/2015/782
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification
