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 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
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
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
More information for better utility; less information for better privacy
McIver, A., Morgan, C., Teague, V., Schneider, S., MQRES, M. & PhD Contribution (ARC), P. C. (.
26/03/14 → 31/12/20
Project: Research
Research Outputs
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
Abstract Hidden Markov Models: a monadic account of quantitative information flow
McIver, A., Morgan, C. & Rabehaja, T., 29 Mar 2019, In : Logical Methods in Computer Science. 15, 1, p. 1-50 50 p., 36.Research output: Contribution to journal › Article
Open Access
File
18
Downloads
(Pure)
An axiomatization of information flow measures
Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G., 19 Jul 2019, In : Theoretical Computer Science. 777, p. 32-54 23 p.Research output: Contribution to journal › Article
Categorical information flow
Rabehaja, T., McIver, A., Morgan, C. & Struth, G., 2019, The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 329-343 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Experiments in information flow analysis
McIver, A., 2019, Mathematics of program construction: 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). Cham: Springer, Springer Nature, p. 1-17 17 p. (Lecture Notes in Computer Science; vol. 11825).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
Prizes
Activities
Experiments in information flow
Annabelle McIver (Speaker)7 Oct 2019
Activity: Talk or presentation › Invited talk
Proofs for differential privacy
Annabelle McIver (Speaker)1 Dec 2019 → 4 Dec 2019
Activity: Talk or presentation › Invited talk
Mário S. Alvim
Annabelle McIver (Host)3 Jun 2019 → 25 Jun 2019
Activity: Hosting a visitor › Hosting an academic visitor
Third World Congress on Formal Methods
Annabelle McIver (Participant)7 Oct 2019 → 11 Oct 2019
Activity: Participating in or organising an event › Organising a conference, workshop, ...
Marta Kwiatkowska
Annabelle McIver (Host)29 Apr 2019 → 30 Apr 2019
Activity: Hosting a visitor › Hosting an academic visitor
Press / Media
Socially responsible technology
12/08/19
1 Media contribution
Press/Media: Public Engagement Activities