Abstract | ||
---|---|---|
Secure multiparty computation (SMC) allows for complex computations over encrypted data. Privacy concerns for cloud applications makes this a highly desired technology and recent performance improvements show that it is practical. To make SMC accessible to non-experts and empower its use in varied applications, many domain-specific compilers are being proposed. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1016/j.jlamp.2021.100736 | Journal of Logical and Algebraic Methods in Programming |
Keywords | DocType | Volume |
Secure multiparty computation,Secure compilation,Certified compilation,Formal verification,EasyCrypt,Computer-aided cryptography | Journal | 125 |
ISSN | Citations | PageRank |
2352-2208 | 0 | 0.34 |
References | Authors | |
0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Carlos Bacelar Almeida | 1 | 0 | 0.34 |
Manuel Barbosa | 2 | 0 | 0.34 |
Gilles Barthe | 3 | 0 | 0.34 |
Hugo Pacheco | 4 | 0 | 0.34 |
Vitor Pereira | 5 | 0 | 0.34 |
Bernardo Portela | 6 | 38 | 3.90 |