Author:
Baloglu Sevdenur,Bursuc Sergiu,Mauw Sjouke,Pang Jun
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Belenios with Cast as Intended;Financial Cryptography and Data Security. FC 2023 International Workshops;2023-12-05
2. Model-based joint analysis of safety and security:Survey and identification of gaps;Computer Science Review;2023-11
3. Election Verifiability in Receipt-Free Voting Protocols;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
4. Election Verifiability with ProVerif;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
5. Provably Improving Election Verifiability in Belenios;Electronic Voting;2021