Prof. Annabelle McIver

  • Probabilistic programming
  • Verification of systems
  • Formal methods for security and privacy
  • Privacy in natural language processing

I am a Professor in the School of Computing. I’m interested in formal methods and verification of security, privacy and reliability in Future Communications.

My research focuses on using mathematics to model security and reliability of computer systems and network protocols. The results can be used in verification exercises to yield provable security, privacy and reliability guarantees including the quantification of risks.  

  • Probabilistic programming
  • Verification of systems
  • Formal methods for security and privacy
  • Privacy in natural language processing
  • Modelling privacy and security attacks in machine learning
  • Robust and accurate measurements of privacy
  • Verification of autonomous systems

Recent publications:

  1. Flexible and scalable privacy assessment for very large datasets with an application to official governmental microdata
    Mário S. Alvim (Department of Computer Science, UFMG), Natasha Fernandes (School of Computing, Macquarie University), Annabelle McIver (School of Computing, Macquarie University), Carroll Morgan (UNSW and Data61), and Gabriel H. Nunes (Department of Computer Science, UFMG), PETS 2022
  2. Natasha Fernandes, Annabelle McIver, Carroll Morgan:
    The Laplace Mechanism has optimal utility for differential privacy over continuous queries. LICS 2021: 1-12
  3. Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
    The Science of Quantitative Information Flow. Information Security and Cryptography, Springer 2020, ISBN 978-3-319-96129-3, pp. I-XXVIII, 1-478
  4. Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes: On Privacy and Accuracy in Data Releases (Invited Paper). CONCUR 2020: 1:1-1:18

Full publication list available at: https://researchers.mq.edu.au/en/persons/annabelle-mciver