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.
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.
- 3 Similar Profiles
Algebra
Engineering & Materials Science
Semantics
Engineering & Materials Science
Refinement
Mathematics
Model checking
Engineering & Materials Science
Kleene Algebra
Mathematics
Network protocols
Engineering & Materials Science
μ-calculus
Mathematics
Information Flow
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
Security analysis of software using novel definitions of entropy
15/07/16 → 14/01/17
Project: Research
Reflection and relevance in computer science - representing, sharing and reviewing computing solutions.
1/07/13 → 31/12/14
Project: Research
Making software more reliable using a new model for entropies of computers' internal state
McIver, A., Morgan, C. & Katoen, J. P.
16/02/12 → 31/12/15
Project: Research
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 Verlag, 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
Algebraic Approach
Information Flow
Algebra
Reasoning
Specifications
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., 4Research output: Contribution to journal › Article
Computer programming
Semantics
Hoists
Markov processes
Sampling
Processing text for privacy: an information flow perspective
Fernandes, N., Dras, M. & 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 Verlag, p. 3-21 19 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
Text processing
Text Processing
Obfuscation
Information Flow
Privacy
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, Springer Nature, p. 3-23 21 p. (Lecture Notes in Computer Science; vol. 10226)Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
Information Flow
Algebra
Semantics
Confidentiality
Fragment
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, Springer Nature, p. 142-158 17 p. (Lecture Notes in Computer Science; vol. 10623)Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
Formal Analysis
Anonymity
Leakage
Network protocols
Information Flow