Annabelle McIver

Professor

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1987 …2020

Research output per year

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

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • Correctness by construction for probabilistic programs

    McIver, A. & Morgan, C., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 216-239 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

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

    1 Citation (Scopus)
  • Failure Mode Reasoning in model based safety analysis

    Jahanian, H., Parker, D., Zeller, M., McIver, A. & Papadopoulos, Y., 2020, Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. Zeller, M. & Höfig, K. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12297 LNCS).

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

  • On privacy and accuracy in data releases

    Alvim, M. S., Fernandes, N., McIver, A. & Nunes, G. H., Aug 2020, 31st International Conference on Concurrency Theory: CONCUR 2020, September 1–4, 2020, Vienna, Austria (Virtual Conference). Konnov, I. & Kovács, L. (eds.). Saarbrücken/Wadern, Germany: Dagstuhl Publishing, 18 p. 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

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

    Open Access
    File
    3 Downloads (Pure)
  • Reasoning with failures

    Jahanian, H. & McIver, A., 2020, Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020 Singapore, Singapore, March 1–3, 2021, Proceedings. Lin, S-W., Hou, Z. & Mahoney, B. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 36-52 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12531 LNCS).

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

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