Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co-Reference-Cited by-同舟云学术

Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co

Published:2022-08 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE 35th Computer Security Foundations Symposium (CSF)
language:
Short-container-title:

Author:

Dragan Constantin Catalin¹,Dupressoir Francois²,Estaji Ehsan³,Gjosteen Kristian⁴,Haines Thomas⁵,Ryan Peter Y.A.³^ORCID,Ronne Peter B.⁶^ORCID,Solberg Morten Rotvold⁴

Affiliation:

1. Surrey Centre for Cyber Security University of Surrey,Guildford,United Kingdom

2. University of Bristol,Department of Computer Science,Bristol,United Kingdom

3. University of Luxembourg,Department of Computer Science & SnT,Esch-sur-Alzette,Luxembourg

4. NTNU,Department of Mathematical Sciences,Trondheim,Norway

5. School of Computing Australian National University,Canberra,Australia

6. LORIA, CNRS & Univ Lorraine, France University of Luxembourg,Esch-sur-Alzette,Luxembourg

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9919409/9919636/09919663.pdf?arnumber=9919663

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Machine-Checked Proofs of Accountability: How to sElect Who is to Blame;Lecture Notes in Computer Science;2024

2. Machine-checked proofs of privacy against malicious boards for Selene & Co1;Journal of Computer Security;2023-10-13

3. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20

4. Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study;Electronic Voting;2023