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
-
LP21: Robust and Scalable Autonomous Landing for Drones
Han, R., McIver, A., Zheng, J., Houston, R. & Kallinen, V.
16/08/22 → 17/08/25
Project: Research
-
-
-
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
-
-
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow
Alvim, M. S., Fernandes, N., McIver, A., Morgan, C. & Nunes, G. H., 2023, CCS '23: proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. New York: Association for Computing Machinery, p. 1718-1731 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
2 Citations (Scopus) -
A quantitative information flow analysis of the topics API
Alvim, M. S., Fernandes, N., McIver, A. & Nunes, G. H., 2023, WPES '23: proceedings of the 22nd Workshop on Privacy in the Electronic Society. New York: Association for Computing Machinery, p. 123-127 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
-
Universal optimality and robust utility bounds for metric differential privacy
Fernandes, N., McIver, A., Palamidessi, C. & Ding, M., 2023, In: Journal of Computer Security. 31, 5, p. 539-580 42 p.Research output: Contribution to journal › Conference paper › peer-review
1 Citation (Scopus) -
A formal quantitative study of privacy in the publication of official educational censuses in Brazil
Nunes, G. H., Alvim, M. S. & McIver, A., 2022, Proceedings of the 35th Thesis and Dissertation Contest (CTD 2022). Porto Alegre: Sociedade Brasileira de Computacao, p. 61-70Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
-
Directional privacy for deep learning
Faustini, P., Fernandes, N., Tonni, S., McIver, A. & Dras, M., 9 Nov 2022, (Submitted) (arXiv).Research output: Working paper › Preprint
Prizes
-
-
-
-
Winner - Faculty of Science and Engineering Award for Inter-School Collaboration - 2023
Nayak, Abhaya (Recipient), Mahmood, Adnan (Recipient), Beheshti, Amin (Recipient), McIver, Annabelle (Recipient), Bilgin, Ayse (Recipient), Liquet-Weiland, Benoit (Recipient), Svensson, Carl (Recipient), Ramakrishnan, Charanya (Recipient), Smith, Connor (Recipient), Molla-Aliod, Diego (Recipient), Vatsalan, Dinusha (Recipient), Xue, Emma (Recipient), Gupta, Gaurav (Recipient), Sofronov, Georgy (Recipient), Baker, Greg (Recipient), Liu, Guanfeng (Recipient), Asghar, Hassan (Recipient), Doosti, Hassan (Recipient), Zhu, Houying (Recipient), Jiang, Iris (Recipient), Zheng, James (Recipient), Lin, Huan (Recipient), Wu, Jia (Recipient), Ma, Jun (Recipient), Binkowski, Karol (Recipient), Dras, Mark (Recipient), Manuguerra, Maurizio (Recipient), Orgun, Mehmet (Recipient), Lay, Michael (Recipient), Zou, Nan (Recipient), Kordzakhia, Nino (Recipient), Busch, Peter (Recipient), Graham, Petra (Recipient), Schwitter, Rolf (Recipient), Chen, Shan (Recipient), Smith, Stephen (Recipient), Cassidy, Steve (Recipient), Prvan, Tania (Recipient), Fung, Thomas (Recipient), Li, Yan (Recipient), Wang, Yan (Recipient), Zhang, Yang (Recipient) & Zhou, Yipeng (Recipient), 2023
Prize: Other distinction
Activities
-
Proofs for differential privacy
Annabelle McIver (Speaker)
1 Dec 2019 → 4 Dec 2019Activity: Talk or presentation › Invited talk
-
Mário S. Alvim
Annabelle McIver (Host)
3 Jun 2019 → 25 Jun 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
-
Experiments in information flow
Annabelle McIver (Speaker)
7 Oct 2019Activity: Talk or presentation › Invited talk
-
Marta Kwiatkowska
Annabelle McIver (Host)
29 Apr 2019 → 30 Apr 2019Activity: Hosting a visitor › Hosting an academic visitor
Press/Media
-
Socially responsible technology
12/08/19
1 Media contribution
Press/Media: Public Engagement Activities