A formal treatment of the role of verified compilers in secure computation (Q2669248)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formal treatment of the role of verified compilers in secure computation |
scientific article |
Statements
A formal treatment of the role of verified compilers in secure computation (English)
0 references
9 March 2022
0 references
secure multiparty computation
0 references
secure compilation
0 references
certified compilation
0 references
formal verification
0 references
easycrypt
0 references
computer-aided cryptography
0 references
