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.
More about her research activities can be found at the Topete Research Group.
Research interests
Program verification, quantitative information flow, computer security, privacy.
Education/Academic qualification
Mathematics, DPhil, Finitely Generated Non-Hopf Modules, University of Oxford
Award Date: 1 Jul 1990
Mathematics, BA (Double First), University of Cambridge
Award Date: 1 Jul 1985
External positions
Visiting Researcher, ETH Zurich
15 Jul 2016 → 31 Dec 2016
Fingerprint
Dive into the research topics where Annabelle McIver is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
DFCRC: Digital Finance CRC Industrial PhD Scholarship - Thisal DE SILVA
McIver, A. (Primary Chief Investigator), DE SILVA, T. (Student CI), Asghar, H. (Supervisor) & Bandara, D. (Supervisor)
1/07/24 → 30/06/28
Project: Research
-
MRFF DoH (Usyd led): AIS-SHIELDS: Securing Health Intelligence Effors & Linking Data Silos
Sullivan, R. (Chief Investigator), Galloway, G. (Chief Investigator), Calamante, F. (Chief Investigator), Close, T. (Chief Investigator), Abramson, D. (Chief Investigator), Soyer , H. (Chief Investigator), Fernández-Peñas, P. (Chief Investigator), Janda, M. (Chief Investigator), Caffery, L. (Chief Investigator), Dras, M. (Primary Chief Investigator), McIver, A. (Chief Investigator), Barnett, M. (Chief Investigator), Wang, C. (Chief Investigator), Shieh, C.-C. (Chief Investigator), Pardey, M. (Chief Investigator), Pope, B. (Chief Investigator), Ward, N. (Chief Investigator), Jakrot, V. (Chief Investigator), Ferguson, P. M. (Chief Investigator) & Price, G. (Chief Investigator)
30/06/23 → 30/08/26
Project: Research
-
Digital Finance Cooperative Research Centre PhD Project
McIver, A. (Primary Chief Investigator)
Project: Research
-
LP21: Robust and Scalable Autonomous Landing for Drones
Han, R. (Primary Chief Investigator), McIver, A. (Chief Investigator), Zheng, J. (Chief Investigator), Houston, R. (Partner Investigator) & Kallinen, V. (Partner Investigator)
16/08/22 → 17/08/25
Project: Research
-
Differential Privacy for Natural Language Processing
Dras, M. (Primary Chief Investigator) & McIver, A. (Chief Investigator)
1/01/22 → 31/12/22
Project: Research
-
Empirical calibration and metric differential privacy in language models
Faustini, P., Fernandes, N., McIver, A. & Dras, M., Nov 2025, In: IEEE Access. 13, p. 196024-196039 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
IDT: dual-task adversarial rewriting for attribute anonymisation
Faustini, P., Tonni, S. M., McIver, A., Xu, Q. & Dras, M., 8 Jul 2025, (Accepted/In press) In: Computational Linguistics. 39 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile18 Downloads (Pure) -
Probabilistic datatypes
Chen, C., McIver, A. & Morgan, C., 2025, Theoretical Aspects of Computing – ICTAC 2024: 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, proceedings. Anutariya, C. & Bonsangue, M. M. (eds.). Cham: Springer, Springer Nature, p. 3-16 14 p. (Lecture Notes in Computer Science; vol. 15373).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
-
Source-level reasoning for quantifying information leaks
Chen, C., McIver, A. & Morgan, C., 2025, Principles of verification: cycling the probabilistic landscape: essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, part I. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Cham: Springer, Springer Nature, p. 98-127 30 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Explaining ε in local differential privacy through the lens of quantitative information flow
Fernandes, N., McIver, A. & Sadeghi, P., 2024, 2024 IEEE 37th Computer Security Foundations Symposium CSF 2024: proceedings. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 419-432 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
2 Citations (Scopus)
Prizes
-
-
Distinguished paper award at Computer Security Foundations Conference (joint)
McIver, A. (Recipient), 1 Jul 2024
Prize
-
-
-
Winner - Faculty of Science and Engineering Award for Inter-School Collaboration - 2023
Nayak, A. (Recipient), Mahmood, A. (Recipient), Beheshti, A. (Recipient), McIver, A. (Recipient), Bilgin, A. (Recipient), Liquet-Weiland, B. (Recipient), Svensson, C. (Recipient), Ramakrishnan, C. (Recipient), Smith, C. (Recipient), Molla-Aliod, D. (Recipient), Vatsalan, D. (Recipient), Xue, E. (Recipient), Gupta, G. (Recipient), Sofronov, G. (Recipient), Baker, G. (Recipient), Liu, G. (Recipient), Asghar, H. (Recipient), Doosti, H. (Recipient), Zhu, H. (Recipient), Jiang, I. (Recipient), Zheng, J. (Recipient), Lin, H. (Recipient), Wu, J. (Recipient), Ma, J. (Recipient), Binkowski, K. (Recipient), Dras, M. (Recipient), Manuguerra, M. (Recipient), Orgun, M. (Recipient), Lay, M. (Recipient), Zou, N. (Recipient), Kordzakhia, N. (Recipient), Busch, P. (Recipient), Graham, P. (Recipient), Schwitter, R. (Recipient), Chen, S. (Recipient), Smith, S. (Recipient), Cassidy, S. (Recipient), Prvan, T. (Recipient), Fung, T. (Recipient), Li, Y. (Recipient), Wang, Y. (Recipient), Zhang, Y. (Recipient) & Zhou, Y. (Recipient), 2023
Prize: Other distinction
Activities
-
Marta Kwiatkowska
McIver, A. (Host)
29 Apr 2019 → 30 Apr 2019Activity: Hosting a visitor › Hosting an academic visitor
-
Third World Congress on Formal Methods
McIver, A. (Participant)
7 Oct 2019 → 11 Oct 2019Activity: Participating in or organising an event › Organising a conference, workshop or event series
-
Proofs for differential privacy
McIver, A. (Speaker)
1 Dec 2019 → 4 Dec 2019Activity: Talk or presentation › Invited talk
-
Mário S. Alvim
McIver, A. (Host)
3 Jun 2019 → 25 Jun 2019Activity: Hosting a visitor › Hosting an academic visitor
-
Experiments in information flow
McIver, A. (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