| 2026 | FOSSACS | Composition Theorems for f-Differential Privacy. | Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi |
| 2025 | ICTAC | Forward and Backward Simulations for Partially Observable Probability. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 2024 | CCS | The Privacy-Utility Trade-off in the Topics API. | Mrio S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes |
| 2024 | ICTAC | Probabilistic Datatypes. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 2023 | CCS | A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. | Mrio S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes |
| 2022 | CSL | How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). | Natasha Fernandes, Annabelle McIver, Carroll Morgan |
| 2021 | LICS | The Laplace Mechanism has optimal utility for differential privacy over continuous queries. | Natasha Fernandes, Annabelle McIver, Carroll Morgan |
| 2020 | CONCUR | On Privacy and Accuracy in Data Releases (Invited Paper). | Mrio S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes |
| 2020 | ICFEM | Reasoning with Failures. | Hamid Jahanian, Annabelle McIver |
| 2020 | ISoLA | Correctness by Construction for Probabilistic Programs. | Annabelle McIver, Carroll Morgan |
| 2019 | APLAS | Proving that Programs Are Differentially Private. | Annabelle McIver, Carroll Morgan |
| 2019 | MPC | Experiments in Information Flow Analysis. | Annabelle McIver |
| 2018 | FM | An Algebraic Approach for Reasoning About Information Flow. | Arthur Amrico, Mrio S. Alvim, Annabelle McIver |
| 2018 | FM | Processing Text for Privacy: An Information Flow Perspective. | Natasha Fernandes, Mark Dras, Annabelle McIver |
| 2017 | FORTE | Reasoning About Distributed Secrets. | Nicols E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2016 | ICTAC | Schedulers and Finishers: On Generating the Behaviours of an Event Structure. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2015 | LICS | Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. | Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2014 | FM | Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. | Roland Wen, Annabelle McIver, Carroll Morgan |
| 2013 | LPAR | An Event Structure Model for Probabilistic Concurrent Kleene Algebra. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2012 | ESOP | A Process Algebra for Wireless Mesh Networks. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2012 | LICS | A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2012 | MSWIM | A rigorous analysis of AODV and its variants. | Peter Hfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker |
| 2012 | TACAS | Automated Analysis of AODV Using UPPAAL. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2011 | ITiCSE | Continual and explicit comparison to promote proactive facilitation during second computer language learning. | Matt Bower, Annabelle McIver |
| 2010 | ICALP | Compositional Closure for Bayes Risk in Probabilistic Noninterference. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2010 | SAS | Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan |
| 2009 | FM | Untitled record | Annabelle McIver, Carroll C. Morgan |
| 2009 | FM | Security, Probability and Nearly Fair Coins in the Cryptographers' Caf. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2009 | ICTAC | The Secret Art of Computer Programming. | Annabelle McIver |
| 2007 | ICFEM | Automating Refinement Checking in Probabilistic System Design. | Carlos Gonzala, Annabelle McIver |
| 2006 | FM | Quantitative Refinement | Annabelle McIver |
| 2006 | ICTAC | Quantitative -Calculus Analysis of Power Management in Wireless Networks. | Annabelle McIver |
| 2005 | FM | Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. | Orieta Celiku, Annabelle McIver |
| 2005 | LPAR | Towards Automated Proof Support for Probabilistic Distributed Systems. | Annabelle McIver, Tjark Weber |
| 2004 | ICFEM | Deriving Probabilistic Semantics Via the 'Weakest Completion'. | Jifeng He, Carroll Morgan, Annabelle McIver |
| 2002 | LPAR | Games, Probability and the Quantitative -Calculus qM. | Annabelle McIver, Carroll Morgan |
| 2001 | APSEC | Cost Analysis of Games, Using Program Logic. | Carroll Morgan, Annabelle McIver |