• 1081 Citations
  • 18 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

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 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
Algebra Engineering & Materials Science
Semantics Engineering & Materials Science
Refinement Mathematics
Model checking Engineering & Materials Science
Information Flow Mathematics
Kleene Algebra Mathematics
Network protocols Engineering & Materials Science
μ-calculus Mathematics

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

Projects 2008 2021

Research Outputs 1987 2019

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 journalArticleResearchpeer-review

Open Access
File
Information Flow
Hidden Markov models
Markov Model
Semantics
Transformer

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 journalArticleResearchpeer-review

Axiomatization
Information Flow
Leakage
Computer systems
Axioms

Generalised differential privacy for text document processing

Fernandes, N., Dras, M. & McIver, A., 1 Jan 2019, Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Nielson, F. & Sands, D. (eds.). Cham: Springer-VDI-Verlag GmbH & Co. KG, p. 123-148 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Open Access
File
Privacy
Learning systems
Semantics
Text processing
Processing

An algebraic approach for reasoning about information flow

Américo, A., Alvim, M. S. & McIver, A., 1 Jan 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, Springer Nature, p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Algebraic Approach
Information Flow
Algebra
Reasoning
Specifications

A new proof rule for almost-sure termination

McIver, A., Morgan, C., Kaminski, B. L. & Katoen, J-P., 5 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-28 28 p., 33.

Research output: Contribution to journalArticleResearchpeer-review

Markov processes
Innovation

Prizes

Platt Prize

Annabelle McIver (Recipient), 1984

Prize

Unwin Prize

Annabelle McIver (Recipient), 1985

Prize

Activities 2001 2019

Marta Kwiatkowska

Annabelle McIver (Host)
29 Apr 201930 Apr 2019

Activity: Hosting a visitorHosting an academic visitor

Proofs for differential privacy

Annabelle McIver (Speaker)
1 Dec 20194 Dec 2019

Activity: Talk or presentationInvited talk

Experiments in information flow

Annabelle McIver (Speaker)
7 Oct 2019

Activity: Talk or presentationInvited talk

Third World Congress on Formal Methods

Annabelle McIver (Participant)
7 Oct 201911 Oct 2019

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

Mário S. Alvim

Annabelle McIver (Host)
3 Jun 201925 Jun 2019

Activity: Hosting a visitorHosting an academic visitor

Press / Media

Socially responsible technology

Annabelle McIver

12/08/19

1 media contribution

Press/Media: Public Engagement Activities