Annabelle Mciver
Professor
Department of Computing
Macquarie University
Australia
Biography
Annabelle McIver trained as a mathematician at Cambridge and Oxford Universities. Her research uses mathematics to analyse security flaws in computer systems. Annabelle has had a number of international visiting positions and fellowships at institutions such as MIT (USA), Birmingham (UK), LRI and INRIA (France), ETH Zurich, and was a Junior Research Fellow in Mathematics at St Hilda's College, Oxford. She is a member of the Programming Methodology technical working group of the International Federation of Information Processing. She was (co-) recipient of th 2014 Best Cybersecurity Research Paper awarded by the US National Security Agency.
Research Interest
Computing
Publications
-
Reasoning about distributed secrets Bordenabe, N., McIver, A., Morgan, C. & Rabehaja, T. 2017 Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Springer Verlag, Vol. 10321 LNCS, p. 156-170 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS)
-
Privacy in elections: How small is “small� McIver, A., Rabehaja, T., Wen, R. & Morgan, C. 1 Oct 2017 In : Journal of Information Security and Applications. 36, p. 112-126 15 p.
-
Algebra for quantitative information flow McIver, A. K., Morgan, C. C. & Rabehaja, T. 2017 Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Proceedings. Springer Verlag, Vol. 10226 LNCS, p. 3-23 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10226 LNCS)
