| 2025 | ICTAC | Forward and Backward Simulations for Partially Observable Probability. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 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 | ISoLA | Correctness by Construction for Probabilistic Programs. | Annabelle McIver, Carroll Morgan |
| 2019 | APLAS | Proving that Programs Are Differentially Private. | Annabelle McIver, Carroll Morgan |
| 2017 | FORTE | Reasoning About Distributed Secrets. | Nicols E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
| 2016 | ITP | Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. | June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah |
| 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 |
| 2012 | LICS | A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2012 | MPC | Elementary Probability Theory in the Eindhoven Style. | Carroll Morgan |
| 2010 | ICALP | Compositional Closure for Bayes Risk in Probabilistic Noninterference. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2009 | CONCUR | Testing Finitary Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan |
| 2009 | FM | Security, Probability and Nearly Fair Coins in the Cryptographers' Caf. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2007 | ESOP | Scalar Outcomes Suffice for Finitary Probabilistic Testing. | Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang |
| 2007 | LICS | Characterising Testing Preorders for Finite Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
| 2006 | MPC | Untitled record | Carroll Morgan |
| 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 |
| 1990 | FM | Refinement of State-Based Concurrent Systems. | Jim Woodcock, Carroll Morgan |
| 1989 | MPC | Types and Invariants in the Refinement Calculus. | Carroll Morgan |