Projects per year
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 2016 → 31 Dec 2016Fingerprint 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
Mathematical foundations for Privacy-preserving techniques and Obfuscation in Text Analytics
McIver, A., Dras, M., Kaafar, M. A., Messerle, B. & Seneviratne, A.
14/08/17 → …
Project: Research
Optus Macquarie University Cyber Security Hub
Doche, C., Alazab, M., Hitchens, M., Johnson, M., Leung, P., McIver, A., Schreer, B., Selvadurai, R., Sheng, Q., Shevchenko, P., Tran, H., Trueck, S., Wiggins, M., Worner, J. & Yang, J.
2/12/16 → …
Project: Research
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
Automata and game models for the analysis of time, uncertainty and risk Background
12/03/18 → 31/12/18
Project: Research
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 journal › Article › Research › peer-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 journal › Article › Research › peer-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 proceeding › Conference proceeding contribution › Research › peer-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 proceeding › Conference proceeding contribution › Research › peer-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 journal › Article › Research › peer-review
Markov processes
Innovation
Prizes
Activities 2001 2019
Marta Kwiatkowska
Annabelle McIver (Host)29 Apr 2019 → 30 Apr 2019
Activity: Hosting a visitor › Hosting an academic visitor
Proofs for differential privacy
Annabelle McIver (Speaker)1 Dec 2019 → 4 Dec 2019
Activity: Talk or presentation › Invited talk
Experiments in information flow
Annabelle McIver (Speaker)7 Oct 2019
Activity: Talk or presentation › Invited talk
Third World Congress on Formal Methods
Annabelle McIver (Participant)7 Oct 2019 → 11 Oct 2019
Activity: Participating in or organising an event › Organising a conference, workshop, ...
Mário S. Alvim
Annabelle McIver (Host)3 Jun 2019 → 25 Jun 2019
Activity: Hosting a visitor › Hosting an academic visitor
Press / Media
Socially responsible technology
12/08/19
1 media contribution
Press/Media: Public Engagement Activities