2019-1449
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [Resource Topic] 2019/1449: Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL |
|
0 | 65 | July 30, 2022 |
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [Resource Topic] 2019/1449: Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL |
|
0 | 65 | July 30, 2022 |