• 1034 Citations
  • 17 h-Index
1987 …2018
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, BA (Double First), University of Cambridge

Mathematics, DPhil, University of Oxford

External positions

Visiting Researcher, ETH Zurich

15 Jul 201631 Dec 2016

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.

  • 2 Similar Profiles
Algebra Engineering & Materials Science
Semantics Engineering & Materials Science
Refinement Mathematics
Model checking Engineering & Materials Science
Kleene Algebra Mathematics
Information Flow 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 2018

Research Output 1987 2018

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.). 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 contribution

Algebraic Approach
Information Flow
Algebra
Reasoning
Specifications

An axiomatization of information flow measures

Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G. 19 Oct 2018 (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalArticle

Axiomatization
Information Flow
Leakage
Computer systems
Axioms

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 journalArticle

Markov processes
Innovation

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: Contribution to journalArticle

Computer programming
Semantics
Hoists
Markov processes
Sampling

Preface

McIver, A. & Horvath, A. 1 Jan 2018 Quantitative Evaluation of Systems: 15th International Conference, QEST 2018. McIver, A. & Horvath, A. (eds.). Vol. 11024 LNCS, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Formal methods
Quantitative Evaluation
Stochastic models
Computer networks
Computer systems

Prizes

Platt Prize

Annabelle McIver (Recipient), 1984

Prize

Unwin Prize

Annabelle McIver (Recipient), 1985

Prize

Activities 2001 2019

  • 3 Invited talk
  • 2 Organising a conference, workshop, ...
  • 2 Membership of board
  • 1 Visiting an external academic institution

Third World Congress on Formal Methods

McIver, A. (Participant)
7 Oct 201911 Oct 2019

Activity: Organising a conference, workshop, ...

Qualitative and quantitative information flow with applications to security

McIver, A. (Speaker)
31 Jul 201811 Aug 2018

Activity: Invited talk

Quantitative Evaluation of Systems (QEST) (Event)

McIver, A. (Chair)
1 Oct 20181 Oct 2021

Activity: Membership of board

International Conference on Quantitative Evaluation of Systems

McIver, A. (Participant)
4 Sep 20187 Sep 2018

Activity: Organising a conference, workshop, ...