Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. | 0 | 0.34 | 2022 |
Root-of-Trust Abstractions for Symbolic Analysis - Application to Attestation Protocols. | 0 | 0.34 | 2021 |
Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers. | 0 | 0.34 | 2020 |