Author:
Ghale Milad K.,Pattinson Dirk,Kumar Ramana,Norrish Michael
Publisher
Springer International Publishing
Reference23 articles.
1. Alkassar, E., Böhme, S., Mehlhorn, K., Rizkallah, C.: A framework for the verification of certifying computations. J. Autom. Reason. 52(3), 241–273 (2014)
2. Blum, M., Kannan, S.: Designing programs that check their work. In: Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 14–17 May 1989, Seattle, Washington, USA, pp. 86–97 (1989)
3. Brooks, L., Griffits, A.: NSW council elections: computer ‘guesstimate’ might have ignored your vote. ABC News, September 2017. http://www.abc.net.au/news/2017-09-14/computer-algorithms-may-sway-local-council-elections/8944186
4. Chaum, D.: Untraceable electronic mail return addresses and digital pseudonyms. In: Gritzalis, D.A. (ed.) Secure Electronic Voting, pp. 211–219. Springer, Boston (2003). https://doi.org/10.1007/978-1-4615-0239-5_14
5. Conway, A., Blom, M., Naish, L., Teague, V.: An analysis of New South Wales electronic vote counting. In: Proceedings of the ACSW 2017, pp. 24:1–24:5 (2017)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML;International Journal on Software Tools for Technology Transfer;2023-02-27
2. cake_lpr: Verified Propagation Redundancy Checking in CakeML;Tools and Algorithms for the Construction and Analysis of Systems;2021
3. 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
4. Engineering Software for Modular Formalisation and Verification of STV Algorithms;Formal Methods and Software Engineering;2018