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.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Algebra Engineering & Materials Science
Refinement Mathematics
Semantics Engineering & Materials Science
Model checking Engineering & Materials Science
Kleene Algebra Mathematics
μ-calculus Mathematics
Network protocols Engineering & Materials Science
Nondeterminism Mathematics

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

Projects 2008 2017

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 → …

Project: Research

Research Output 1987 2018

Conditioning in probabilistic programming

Olmedo, F., Gretz, F., Jansen, N., Kaminski, B. L., Katoen, J. P. & McIver, A. 1 Jan 2018 In : ACM Transactions on Programming Languages and Systems. 40, 1, p. 1-50 50 p., 4

Research output: Research - peer-reviewArticle

Algebra for quantitative information flow

McIver, A. K., Morgan, C. C. & Rabehaja, T. 2017 Relational and algebraic methods in computer science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017. Proceedings. Höfner, P., Pous, D. & Struth, G. (eds.). Springer Verlag, p. 3-23 21 p. (Lecture Notes in Computer Science; vol. 10226)

Research output: Research - peer-reviewConference proceeding contribution

Information Flow

Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols

Américo, A., Vaz, A., Alvim, M. S., Campos, S. V. A. & McIver, A. 2017 Formal methods: foundations and applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Cham: Springer International Publishing, p. 142-158 17 p. (Lecture Notes in Computer Science; vol. 10623)

Research output: Research - peer-reviewConference proceeding contribution

Privacy in elections: How small is “small”?

McIver, A., Rabehaja, T., Wen, R. & Morgan, C. 1 Oct 2017 In : Journal of Information Security and Applications. 36, p. 112-126 15 p.

Research output: Research - peer-reviewArticle


Reasoning about distributed secrets

Bordenabe, N., McIver, A., Morgan, C. & Rabehaja, T. 2017 Formal techniques for distributed objects, components, and systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Cham: Springer, p. 156-170 15 p. (Lecture Notes in Computer Science; vol. 10321)

Research output: Research - peer-reviewConference proceeding contribution