| Title: |
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co |
| Authors: |
Dragan, Constantin Catalin; Dupressoir, Francois; Estaji, Ehsan; Gjosteen, Kristian; Haines, Thomas; Ryan, Peter Y.A.; Ronne, Peter B.; Solberg, Morten Rotvold |
| Source: |
2022 IEEE 35th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2022 IEEE 35th. :335-347 Aug, 2022 |
| Relation: |
2022 IEEE 35th Computer Security Foundations Symposium (CSF) |
| Database: |
IEEE Xplore Digital Library |