Select Publications

Conference Papers

Bennett Moses LK; Goré R; Levy R; Pattinson D; Tiwari M, 2017, 'No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes', in Krimmer R; Volkamer M; Binder NB; Kersting N; Pereira O; Schürmann C (eds.), Lecture Notes in Computer Science, Springer Verlag, Bregenz, Austria, pp. 66 - 83, presented at Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, 24 October 2017 - 27 October 2017, http://dx.doi.org/10.1007/978-3-319-68687-5_5

Maurushat AM; bennett moses ; vaile D, 2015, 'Using ‘Big’ Metadata for Criminal Intelligence: Understanding Limitations and Appropriate Safeguards', in Proceedings of the 15th International Conference on Artificial Intelligence and Law, ICAIL, San Diego, CA, USA, pp. 196 - 200, presented at ICAIL '15 15th International Conference on Artificial Intelligence and Law, San Diego, CA, USA, 08 June 2015 - 12 June 2015, http://dx.doi.org/10.1145/2746090.2746110


Back to profile page