TY  - RPRT
TI  - A Formal Model for Secure Multiparty Computation
AU  - Amy Rathore
AU  - Marina Blanton
AU  - Marco Gaboardi
AU  - Lukasz Ziarek
PY  - 2023
UR  - https://arxiv.org/abs/2306.00308
ID  - 2306.00308
ER  -