Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
| Autor: | Drăgan, Constantin Cătălin, Dupressoir, François, Estaji, Ehsan, Gjøsteen, Kristian, Haines, Thomas, Ryan, Peter Y. A., Rønne, Peter B., Solberg, Morten Rotvold |
|---|---|
| Databáze: | NORA (Norwegian Open Research Archive) |
| Externí odkaz: |
|