Author:
Ghale Milad K.,Goré Rajeev,Pattinson Dirk,Tiwari Mukesh
Publisher
Springer International Publishing
Reference21 articles.
1. ACT Electoral Commission: https://www.elections.act.gov.au/education/act_electoral_commission_fact_sheets/fact_sheets_-_general_html/elections_act_factsheet_hare-clark_electoral_system
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Beckert,2013
3. Bertot, Y., Castéran, P., Huet, G., Paulin-Mohring, C.: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07964-5
4. Cortier, V., Galindo, D., Küsters, R., Müller, J., Truderung, T.: Verifiability notions for e-voting protocols. IACR Cryptology ePrint Archive 2016, 287 (2016)
5. Dawson, J.E., Goré, R., Meumann, T.: Machine-checked reasoning about complex voting schemes using higher-order logic. In: Proceedings of EVote-ID 2015, pp. 142–158 (2015)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Model Checking of Voting Protocols in Uppaal;Electronic Voting;2020
2. Verified Construction of Fair Voting Rules;Logic-Based Program Synthesis and Transformation;2020
3. Verified Verifiers for Verifying Elections;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06
4. Modular Synthesis of Verified Verifiers of Computation with STV Algorithms;2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE);2019-05
5. Engineering Software for Modular Formalisation and Verification of STV Algorithms;Formal Methods and Software Engineering;2018