Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. - John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague (LICS, 2001)

Anti-presistence: history independent data structures. - Moni Naor; Vanessa Teague (STOC, 2001)

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). - John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague (MFPS, 2001)

Linear Arboricity and Linear k-Arboricity of Regular Graphs. - Noga Alon; Vanessa Teague; Nicholas C. Wormald (Graphs Comb., 2001)

Anti-persistence: History Independent Data Structures. - Moni Naor; Vanessa Teague (IACR Cryptol. ePrint Arch., 2001)

Autonomous Nodes and Distributed Mechanisms. - John C. Mitchell; Vanessa Teague (ISSS, 2002)

Selecting Correlated Random Actions. - Vanessa Teague (Financial Cryptography, 2004)

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. - Ajith Ramanathan; John C. Mitchell; Andre Scedrov; Vanessa Teague (FoSSaCS, 2004)

Rational secret sharing and multiparty computation: extended abstract. - Joseph Y. Halpern; Vanessa Teague (STOC, 2004)

Combining cryptography and game theory in distributed algorithms. - Vanessa Teague (2005)

A Secure Event Agreement (SEA) protocol for peer-to-peer games. - Amy Beth Corman; Scott Douglas; Peter Schachte; Vanessa Teague (ARES, 2006)

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. - John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague (Theor. Comput. Sci., 2006)

QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. - Amy Beth Corman; Peter Schachte; Vanessa Teague (ACSC, 2007)

A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. - Amy Beth Corman; Peter Schachte; Vanessa Teague (AINA Workshops (1), 2007)

On The Complexity of Manipulating Elections. - Tom Coleman; Vanessa Teague (CATS, 2007)

Secure random number agreement for peer-to-peer applications. - Amy Beth Corman; Peter Schachte; Vanessa Teague (ICPADS, 2007)

Coercion-Resistant Tallying for STV Voting. - Vanessa Teague; Kim Ramchen; Lee Naish (EVT, 2008)

Pretty Good Democracy. - Peter Y. A. Ryan; Vanessa Teague (Security Protocols Workshop, 2009)

Permutations in Prêt à Voter. - Peter Y. A. Ryan; Vanessa Teague (EVT/WOTE, 2009)

Shuffle-sum: coercion-resistant verifiable tallying for STV voting. - Josh Benaloh; Tal Moran; Lee Naish; Kim Ramchen; Vanessa Teague (IEEE Trans. Inf. Forensics Secur., 2009)

Pretty Good Democracy for More Expressive Voting Schemes. - James Heather; Peter Y. A. Ryan; Vanessa Teague (ESORICS, 2010)

Virtually Perfect Democracy. - Giampaolo Bella; Peter Y. A. Ryan; Vanessa Teague (Security Protocols Workshop, 2010)

Towards Best Practice for E-election Systems - Lessons from Trial and Error in Australian Elections. - Richard Buckland; Vanessa Teague; Roland Wen (VoteID, 2011)

On the Side-Effects of Introducing E-Voting. - James Heather; Morgan Llewellyn; Vanessa Teague; Roland Wen (VoteID, 2011)

A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. - Craig Burton; Chris Culnane; James Heather; Thea Peacock; Peter Y. A. Ryan; Steve A. Schneider; Sriramkrishnan Srinivasan; Vanessa Teague; Roland Wen; Zhe Xia (Electronic Voting, 2012)

Efficiently Shuffling in Public. - Udaya Parampalli; Kim Ramchen; Vanessa Teague (Public Key Cryptography, 2012)

Using Prêt à Voter in Victoria State Elections. - Craig Burton; Chris Culnane; James Heather; Thea Peacock; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague; Roland Wen; Zhe Xia; Sriramkrishnan Srinivasan (EVT/WOTE, 2012)

Verifiable Postal Voting. - Josh Benaloh; Peter Y. A. Ryan; Vanessa Teague (Security Protocols Workshop, 2013)

End-to-End Verifiable Postal Voting (Transcript of Discussion). - Vanessa Teague (Security Protocols Workshop, 2013)

Faster Print on Demand for Prêt à Voter. - Chris Culnane; James Heather; Rui Joaquim; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (EVT/WOTE, 2014)

vVote: a Verifiable Voting System (DRAFT). - Chris Culnane; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (CoRR, 2014)

Cryptographic protocols with everyday objects. - James Heather; Steve A. Schneider; Vanessa Teague (Formal Aspects Comput., 2014)

Special Section on Vote-ID 2013. - Steve A. Schneider; Vanessa Teague; Chris Culnane; James Heather (J. Inf. Secur. Appl., 2014)

The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election. - J. Alex Halderman; Vanessa Teague (VoteID, 2015)

Extending Helios Towards Private Eligibility Verifiability. - Oksana Kulyk; Vanessa Teague; Melanie Volkamer (VoteID, 2015)

End-to-end verifiability. - Josh Benaloh; Ronald L. Rivest; Peter Y. A. Ryan; Philip B. Stark; Vanessa Teague; Poorvi L. Vora (CoRR, 2015)

End-to-End Verifiability in Voting Systems, from Theory to Practice. - Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (IEEE Secur. Priv., 2015)

vVote: A Verifiable Voting System. - Chris Culnane; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (ACM Trans. Inf. Syst. Secur., 2015)

Efficient Computation of Exact IRV Margins. - Michelle L. Blom; Vanessa Teague; Peter J. Stuckey; Ron Tidhar (ECAI, 2016)

Strategies for Voter-Initiated Election Audits. - Chris Culnane; Vanessa Teague (GameSec, 2016)

A review of E-voting: the past, present and future. - J. Paul Gibson; Robert Krimmer; Vanessa Teague; Julia Pomares (Ann. des Télécommunications, 2016)

Auditing Australian Senate Ballots. - Berj Chilingirian; Zara Perumal; Ronald L. Rivest; Grahame Bowland; Andrew Conway; Philip B. Stark; Michelle L. Blom; Chris Culnane; Vanessa Teague (CoRR, 2016)

Privately Matching k-mers. - Justin Bedo; Thomas C. Conway; Kim Ramchen; Vanessa Teague (IACR Cryptol. ePrint Arch., 2016)

Security and Privacy Implications of NFC-enabled Contactless Payment Systems. - Nicholas Akinyokun; Vanessa Teague (ARES, 2017)

An analysis of New South Wales electronic vote counting. - Andrew Conway; Michelle L. Blom; Lee Naish; Vanessa Teague (ACSW, 2017)

Why Open Government is good for cybersecurity and public trust - now would be a good time to start. - Chris Culnane; Vanessa Teague (HAISA, 2017)

Privacy-Preserving Queries over Secret-Shared Graph-Structured Data. - Leyla Roohi; Vanessa Teague (TrustCom/BigDataSE/ICESS, 2017)

Public Evidence from Secret Ballots. - Matthew Bernhard; Josh Benaloh; J. Alex Halderman; Ronald L. Rivest; Peter Y. A. Ryan; Philip B. Stark; Vanessa Teague; Poorvi L. Vora; Dan S. Wallach (E-VOTE-ID, 2017)

Trust Implications of DDoS Protection in Online Elections. - Chris Culnane; Mark Eldridge; Aleksander Essex; Vanessa Teague (E-VOTE-ID, 2017)

Towards Computing Victory Margins in STV Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (CoRR, 2017)

Privacy Assessment of De-identified Opal Data: A report for Transport for NSW. - Chris Culnane; Benjamin I. P. Rubinstein; Vanessa Teague (CoRR, 2017)

Vulnerabilities in the use of similarity tables in combination with pseudonymisation to preserve data privacy in the UK Office for National Statistics' Privacy-Preserving Record Linkage. - Chris Culnane; Benjamin I. P. Rubinstein; Vanessa Teague (CoRR, 2017)

Health Data in an Open World. - Chris Culnane; Benjamin I. P. Rubinstein; Vanessa Teague (CoRR, 2017)

A Vote of Confidence? - Josh Benaloh; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (IEEE Secur. Priv., 2017)

Computing the Margin of Victory in Preferential Parliamentary Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (E-Vote-ID, 2018)

Ballot-Polling Risk Limiting Audits for IRV Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (E-Vote-ID, 2018)

Options for encoding names for data linking at the Australian Bureau of Statistics. - Chris Culnane; Benjamin I. P. Rubinstein; Vanessa Teague (CoRR, 2018)

Universally Verifiable MPC with Applications to IRV Ballot Counting. - Chris Culnane; Olivier Pereira; Kim Ramchen; Vanessa Teague (IACR Cryptol. ePrint Arch., 2018)

Receipt-Free, Universally and Individually Verifiable Poll Attendance. - Nicholas Akinyokun; Vanessa Teague (ACSW, 2019)

Election Manipulation 100. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (Financial Cryptography Workshops, 2019)

Universally Verifiable MPC and IRV Ballot Counting. - Kim Ramchen; Chris Culnane; Olivier Pereira; Vanessa Teague (Financial Cryptography, 2019)

Differentially-Private Two-Party Egocentric Betweenness Centrality. - Leyla Roohi; Benjamin I. P. Rubinstein; Vanessa Teague (INFOCOM, 2019)

Election Manipulation with Partial Information. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (E-VOTE-ID, 2019)

Auditing Indian Elections. - Vishal Mohanty; Chris Culnane; Philip B. Stark; Vanessa Teague (E-VOTE-ID, 2019)

Auditing Indian Elections. - Vishal Mohanty; Nicholas Akinyokun; Andrew Conway; Chris Culnane; Philip B. Stark; Vanessa Teague (CoRR, 2019)

Risk-Limiting Audits for IRV Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague (CoRR, 2019)

Stop the Open Data Bus, We Want to Get Off. - Chris Culnane; Benjamin I. P. Rubinstein; Vanessa Teague (CoRR, 2019)

Knights and Knaves Run Elections: Internet Voting and Undetectable Electoral Fraud. - Chris Culnane; Aleksander Essex; Sarah Jamie Lewis; Olivier Pereira; Vanessa Teague (IEEE Secur. Priv., 2019)

Toward Computing the Margin of Victory in Single Transferable Vote Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (INFORMS J. Comput., 2019)

Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa J. Teague (AAAI, 2020)

When Is a Test Not a Proof? - Eleanor McMurtry; Olivier Pereira; Vanessa Teague (ESORICS (2), 2020)

Shifting the Balance-of-Power in STV Elections. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa J. Teague (E-VOTE-ID, 2020)

Random Errors Are Not Necessarily Politically Neutral. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa J. Teague; Damjan Vukcevic (E-VOTE-ID, 2020)

A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods. - Zhuoqun Huang; Ronald L. Rivest; Philip B. Stark; Vanessa J. Teague; Damjan Vukcevic (E-VOTE-ID, 2020)

Assessing Centrality Without Knowing Connections. - Leyla Roohi; Benjamin I. P. Rubinstein; Vanessa Teague (PAKDD (2), 2020)

How not to prove your election outcome. - Thomas Haines; Sarah Jamie Lewis; Olivier Pereira; Vanessa Teague (SP, 2020)

When Is a Proof Actually Not? - Vanessa Teague (WOOT @ USENIX Security Symposium, 2020)

You can do RLAs for IRV. - Michelle L. Blom; Andrew Conway; Dan King; Laurent Sandrolini; Philip B. Stark; Peter J. Stuckey; Vanessa Teague (CoRR, 2020)

Random errors are not politically neutral. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2020)

Which E-Voting Problems Do We Need to Solve? - Vanessa Teague (CRYPTO (1), 2021)

Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. - Michelle L. Blom; Jurlind Budurushi; Ronald L. Rivest; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (E-VOTE-ID, 2021)

Auditing Hamiltonian Elections. - Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (Financial Cryptography Workshops, 2021)

Towards Verifiable Remote Voting with Paper Assurance. - Eleanor McMurtry; Xavier Boyen; Chris Culnane; Kristian Gjøsteen; Thomas Haines; Vanessa Teague (CoRR, 2021)

VAULT-Style Risk-Limiting Audits and the Inyo County Pilot. - Josh Benaloh; Kammi Foote; Philip B. Stark; Vanessa Teague; Dan S. Wallach (IEEE Secur. Priv., 2021)

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 (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

Running the Race: A Swiss Voting Story. - Thomas Haines; Olivier Pereira; Vanessa Teague (E-Vote-ID, 2022)

A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (Financial Cryptography Workshops, 2022)

Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. - Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2022)

Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. - Floyd Everest; Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2022)

Privacy Preserving Opinion Aggregation. - Aggelos Kiayias; Vanessa Teague; Orfeas Stefanos Thyfronitis Litos (IACR Cryptol. ePrint Arch., 2022)

Public comprehension of privacy protections applied to health data shared for research: An Australian cross-sectional study. - Amy Beth Corman; Rachel Canaway; Chris Culnane; Vanessa Teague (Int. J. Medical Informatics, 2022)

Democratizing election verification: new methods for addressing an ancient attacker model. - Vanessa Teague (AsiaCCS, 2023)

Risk-Limiting Audits for Condorcet Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (FC Workshops, 2023)

RLAs for 2-Seat STV Elections: Revisited. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (FC Workshops, 2024)

Idiosyncratic properties of Australian STV election counting. - Andrew Conway; Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa J. Teague; Damjan Vukcevic (CoRR, 2024)

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 (CoRR, 2024)

Bugs in our pockets: the risks of client-side scanning. - Harold Abelson; Ross J. Anderson; Steven M. Bellovin; Josh Benaloh; Matt Blaze; Jon Callas; Whitfield Diffie; Susan Landau 001; Peter G. Neumann; Ronald L. Rivest; Jeffrey I. Schiller; Bruce Schneier; et al. (J. Cybersecur., 2024)

MERGE: Matching Electronic Results with Genuine Evidence, for Verifiable Voting in Person at Remote Locations. - Ben Adida; John Caron; Arash Mirzaei; Vanessa Teague (E-VOTE-ID, 2025)

Efficient Lower Bounding of Single Transferable Vote Election Margins. - Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2025)

3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. - Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2025)

Doing More With Less: Mismatch-Based Risk-Limiting Audits. - Alexander Ek; Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa J. Teague; Damjan Vukcevic (CoRR, 2025)

Security Analysis of Chain-FS service. - Vanessa Teague; Arash Mirzaei (CoRR, 2025)

To whom did my vote go? - Andrew Conway; Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2025)