Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification (Q5857790)
From MaRDI portal
scientific article; zbMATH DE number 7331382
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification |
scientific article; zbMATH DE number 7331382 |
Statements
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification (English)
0 references
7 April 2021
0 references
