| 2025 | FC | 3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. | Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2025 | FC | Security Analysis of the Australian Capital Territory's eVACS 2020/2024 Paperless Direct Recording Electronic Voting System. | Chris Culnane, Andrew Conway, Vanessa Teague, Ty Wilson-Brown |
| 2024 | FC | RLAs for 2-Seat STV Elections: Revisited. | Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2023 | AsiaCCS | Democratizing election verification: new methods for addressing an ancient attacker model. | Vanessa Teague |
| 2023 | FC | Risk-Limiting Audits for Condorcet Elections. | Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2022 | ESORICS | Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. | Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2022 | FC | A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. | Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2021 | CRYPTO | Which E-Voting Problems Do We Need to Solve? | Vanessa Teague |
| 2021 | FC | Auditing Hamiltonian Elections. | Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2020 | ESORICS | When Is a Test Not a Proof? | Eleanor McMurtry, Olivier Pereira, Vanessa Teague |
| 2020 | PAKDD | Assessing Centrality Without Knowing Connections. | Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague |
| 2020 | SP | How not to prove your election outcome. | Thomas Haines, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague |
| 2019 | FC | Universally Verifiable MPC and IRV Ballot Counting. | Kim Ramchen, Chris Culnane, Olivier Pereira, Vanessa Teague |
| 2019 | INFOCOM | Differentially-Private Two-Party Egocentric Betweenness Centrality. | Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague |
| 2017 | TrustCom | Privacy-Preserving Queries over Secret-Shared Graph-Structured Data. | Leyla Roohi, Vanessa Teague |
| 2016 | ECAI | Efficient Computation of Exact IRV Margins. | Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar |
| 2012 | PKC | Efficiently Shuffling in Public. | Udaya Parampalli, Kim Ramchen, Vanessa Teague |
| 2010 | ESORICS | Pretty Good Democracy for More Expressive Voting Schemes. | James Heather, Peter Y. A. Ryan, Vanessa Teague |
| 2007 | AINA | A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. | Amy Beth Corman, Peter Schachte, Vanessa Teague |
| 2007 | ICPADS | Secure random number agreement for peer-to-peer applications. | Amy Beth Corman, Peter Schachte, Vanessa Teague |
| 2004 | FC | Selecting Correlated Random Actions. | Vanessa Teague |
| 2004 | FOSSACS | Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. | Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague |
| 2004 | STOC | Rational secret sharing and multiparty computation: extended abstract. | Joseph Y. Halpern, Vanessa Teague |
| 2001 | LICS | Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. | John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague |
| 2001 | STOC | Anti-presistence: history independent data structures. | Moni Naor, Vanessa Teague |