Projects per year
Personal profile
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 interests
Program verification, quantitative information flow, computer security, privacy.
Education/Academic qualification
Mathematics, DPhil, University of Oxford
Mathematics, BA (Double First), University of Cambridge
External positions
Visiting Researcher, ETH Zurich
15 Jul 2016 → 31 Dec 2016Fingerprint
- 1 Similar Profiles
Network
Projects
-
Foundational data science for US Medicaid research
Dras, M., McIver, A., Marashi, A., Girosi, F. & Price, D.
26/11/19 → 31/10/22
Project: Other
-
-
Mathematical foundations for Privacy-preserving techniques and Obfuscation in Text Analytics
McIver, A., Dras, M., Kaafar, M. A., Messerle, B. & Seneviratne, A.
14/08/17 → 31/12/23
Project: Research
-
OMQCSH: Optus Macquarie University Cyber Security Hub
Kaafar, D., Schreer, B., Selvadurai, N., Wiggins, M., Sheedy, E., Cooper, A., Leung, P., Asghar, H., Ikram, M., Shevchenko, P., Berkovsky, S., Huang, Y., Harrison, N., McCombie, S., Hill, G., Bayl-Smith, P., Zhang, X., Yang, J., Modabber, S., Dras, M., McIver, A., Middlebrook, L., Johnson, M. & Goldbarsht, D.
2/12/16 → …
Project: Research
-
Automata and game models for the analysis of time, uncertainty and risk Background
12/03/18 → 31/12/18
Project: Research
Research Outputs
-
Correctness by construction for probabilistic programs
McIver, A. & Morgan, C., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 216-239 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
1 Citation (Scopus) -
Failure Mode Reasoning in model based safety analysis
Jahanian, H., Parker, D., Zeller, M., McIver, A. & Papadopoulos, Y., 2020, Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. Zeller, M. & Höfig, K. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12297 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
-
Introduction to the special section on quantitative evaluation of systems (QEST 2018)
McIver, A. & Horváth, A., Feb 2020, In : ACM Transactions on Modeling and Performance Evaluation of Computing Systems. 5, 1, 1.Research output: Contribution to journal › Editorial
-
On privacy and accuracy in data releases
Alvim, M. S., Fernandes, N., McIver, A. & Nunes, G. H., Aug 2020, 31st International Conference on Concurrency Theory: CONCUR 2020, September 1–4, 2020, Vienna, Austria (Virtual Conference). Konnov, I. & Kovács, L. (eds.). Saarbrücken/Wadern, Germany: Dagstuhl Publishing, 18 p. 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
Open AccessFile3 Downloads (Pure) -
Reasoning with failures
Jahanian, H. & McIver, A., 2020, Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020 Singapore, Singapore, March 1–3, 2021, Proceedings. Lin, S-W., Hou, Z. & Mahoney, B. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 36-52 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12531 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
Prizes
Activities
-
Proofs for differential privacy
Annabelle McIver (Speaker)1 Dec 2019 → 4 Dec 2019Activity: Talk or presentation › Invited talk
-
Marta Kwiatkowska
Annabelle McIver (Host)29 Apr 2019 → 30 Apr 2019Activity: Hosting a visitor › Hosting an academic visitor
-
Third World Congress on Formal Methods
Annabelle McIver (Participant)7 Oct 2019 → 11 Oct 2019Activity: Participating in or organising an event › Organising a conference, workshop or event series
-
Mário S. Alvim
Annabelle McIver (Host)3 Jun 2019 → 25 Jun 2019Activity: Hosting a visitor › Hosting an academic visitor
-
Experiments in information flow
Annabelle McIver (Speaker)7 Oct 2019Activity: Talk or presentation › Invited talk
Press / Media
-
Socially responsible technology
12/08/19
1 Media contribution
Press/Media: Public Engagement Activities