• 1157 Citations
  • 18 h-Index
1987 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile


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 201631 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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.


Foundational data science for US Medicaid research

Dras, M., McIver, A., Marashi, A., Girosi, F. & Price, D.


Project: Other

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. (.


Project: Research

Research Outputs

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 journalArticle

Open Access
  • 20 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 journalArticle

  • 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 proceedingChapter

  • 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 proceedingConference proceeding contribution

  • Prizes

    Platt Prize

    Annabelle McIver (Recipient), 1984


    Unwin Prize

    Annabelle McIver (Recipient), 1985



    Experiments in information flow

    Annabelle McIver (Speaker)
    7 Oct 2019

    Activity: Talk or presentationInvited talk

    Proofs for differential privacy

    Annabelle McIver (Speaker)
    1 Dec 20194 Dec 2019

    Activity: Talk or presentationInvited talk

    Mário S. Alvim

    Annabelle McIver (Host)
    3 Jun 201925 Jun 2019

    Activity: Hosting a visitorHosting an academic visitor

    Marta Kwiatkowska

    Annabelle McIver (Host)
    29 Apr 201930 Apr 2019

    Activity: Hosting a visitorHosting an academic visitor

    Third World Congress on Formal Methods

    Annabelle McIver (Participant)
    7 Oct 201911 Oct 2019

    Activity: Participating in or organising an eventOrganising a conference, workshop, ...

    Press / Media

    Socially responsible technology

    Annabelle McIver


    1 Media contribution

    Press/Media: Public Engagement Activities