Vanessa Teague

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 61

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

E-VOTE-ID

IEEE Secur. Priv.

Publications

Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
RLAs for 2-Seat STV Elections: Revisited. CoRR (2024)
Harold Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Jon Callas, Whitfield Diffie, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Vanessa Teague, Carmela Troncoso
Bugs in our pockets: the risks of client-side scanning. J. Cybersecur. 10 (1) (2024)
Vanessa Teague
Democratizing election verification: new methods for addressing an ancient attacker model. AsiaCCS (2023)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Risk-Limiting Audits for Condorcet Elections. CoRR (2023)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Risk-Limiting Audits for Condorcet Elections. FC Workshops (2023)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. CoRR (2022)
Thomas Haines, Olivier Pereira, Vanessa Teague
Running the Race: A Swiss Voting Story. E-Vote-ID (2022)
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Amy Beth Corman, Rachel Canaway, Chris Culnane, Vanessa Teague
Public comprehension of privacy protections applied to health data shared for research: An Australian cross-sectional study. Int. J. Medical Informatics 167 (2022)
Aggelos Kiayias, Vanessa Teague, Orfeas Stefanos Thyfronitis Litos
Privacy Preserving Opinion Aggregation. IACR Cryptol. ePrint Arch. 2022 (2022)
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. CoRR (2022)
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CoRR (2022)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. Financial Cryptography Workshops (2022)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Hamiltonian Elections. Financial Cryptography Workshops (2021)
Josh Benaloh, Kammi Foote, Philip B. Stark, Vanessa Teague, Dan S. Wallach
VAULT-Style Risk-Limiting Audits and the Inyo County Pilot. IEEE Secur. Priv. 19 (4) (2021)
Eleanor McMurtry, Xavier Boyen, Chris Culnane, Kristian Gjøsteen, Thomas Haines, Vanessa Teague
Towards Verifiable Remote Voting with Paper Assurance. CoRR (2021)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. CoRR (2021)
Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. CoRR (2021)
Vanessa Teague
Which E-Voting Problems Do We Need to Solve? CRYPTO (1) (2021)
Hal Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Jon Callas, Whitfield Diffie, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Vanessa Teague, Carmela Troncoso
Bugs in our Pockets: The Risks of Client-Side Scanning. CoRR (2021)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Hamiltonian Elections. CoRR (2021)
Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. E-VOTE-ID (2021)
Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
Assessing Centrality Without Knowing Connections. CoRR (2020)
Thomas Haines, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
How not to prove your election outcome. IEEE Symposium on Security and Privacy (2020)
Vanessa Teague
When Is a Proof Actually Not? WOOT @ USENIX Security Symposium (2020)
Eleanor McMurtry, Olivier Pereira, Vanessa Teague
When Is a Test Not a Proof? ESORICS (2) (2020)
Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague
You can do RLAs for IRV. CoRR (2020)
Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Random errors are not politically neutral. CoRR (2020)
Eleanor McMurtry, Olivier Pereira, Vanessa Teague
When is a test not a proof? IACR Cryptol. ePrint Arch. 2020 (2020)
Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark, Vanessa Teague, Damjan Vukcevic
A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods. CoRR (2020)
Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
Assessing Centrality Without Knowing Connections. PAKDD (2) (2020)
Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
Differentially-Private Two-Party Egocentric Betweenness Centrality. CoRR (2019)
Chris Culnane, Aleksander Essex, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
Knights and Knaves Run Elections: Internet Voting and Undetectable Electoral Fraud. IEEE Secur. Priv. 17 (4) (2019)
Vishal Mohanty, Chris Culnane, Philip B. Stark, Vanessa Teague
Auditing Indian Elections. E-VOTE-ID (2019)
Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
Differentially-Private Two-Party Egocentric Betweenness Centrality. INFOCOM (2019)
Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
Stop the Open Data Bus, We Want to Get Off. CoRR (2019)
Kim Ramchen, Chris Culnane, Olivier Pereira, Vanessa Teague
Universally Verifiable MPC and IRV Ballot Counting. Financial Cryptography (2019)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague
Risk-Limiting Audits for IRV Elections. CoRR (2019)
Vishal Mohanty, Nicholas Akinyokun, Andrew Conway, Chris Culnane, Philip B. Stark, Vanessa Teague
Auditing Indian Elections. CoRR (2019)
Nicholas Akinyokun, Vanessa Teague
Receipt-Free, Universally and Individually Verifiable Poll Attendance. ACSW (2019)
Chris Culnane, Olivier Pereira, Kim Ramchen, Vanessa Teague
Universally Verifiable MPC with Applications to IRV Ballot Counting. IACR Cryptol. ePrint Arch. 2018 (2018)
Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
Options for encoding names for data linking at the Australian Bureau of Statistics. CoRR (2018)
Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
Health Data in an Open World. CoRR (2017)
Chris Culnane, Vanessa Teague
Why Open Government is good for cybersecurity and public trust - now would be a good time to start. HAISA (2017)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague
Computing the Margin of Victory in Preferential Parliamentary Elections. CoRR (2017)
Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
Privacy Assessment of De-identified Opal Data: A report for Transport for NSW. CoRR (2017)
Josh Benaloh, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
A Vote of Confidence? IEEE Secur. Priv. 15 (3) (2017)
Chris Culnane, Mark Eldridge, Aleksander Essex, Vanessa Teague
Trust Implications of DDoS Protection in Online Elections. CoRR (2017)
Josh Benaloh, Matthew Bernhard, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach
Public Evidence from Secret Ballots. CoRR (2017)
Nicholas Akinyokun, Vanessa Teague
Security and Privacy Implications of NFC-enabled Contactless Payment Systems. ARES (2017)
Chris Culnane, Mark Eldridge, Aleksander Essex, Vanessa Teague
Trust Implications of DDoS Protection in Online Elections. E-VOTE-ID (2017)
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
Public Evidence from Secret Ballots. E-VOTE-ID (2017)
Leyla Roohi, Vanessa Teague
Privacy-Preserving Queries over Secret-Shared Graph-Structured Data. TrustCom/BigDataSE/ICESS (2017)
Andrew Conway, Michelle L. Blom, Lee Naish, Vanessa Teague
An analysis of New South Wales electronic vote counting. ACSW (2017)
Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
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. CoRR (2017)
J. Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares
A review of E-voting: the past, present and future. Ann. des Télécommunications 71 (7-8) (2016)
Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar
Efficient Computation of Exact IRV Margins. ECAI (2016)
Berj Chilingirian, Zara Perumal, Ronald L. Rivest, Grahame Bowland, Andrew Conway, Philip B. Stark, Michelle L. Blom, Chris Culnane, Vanessa Teague
Auditing Australian Senate Ballots. CoRR (2016)
Justin Bedo, Thomas C. Conway, Kim Ramchen, Vanessa Teague
Privately Matching k-mers. IACR Cryptol. ePrint Arch. 2016 (2016)
Chris Culnane, Vanessa Teague
Strategies for Voter-Initiated Election Audits. GameSec (2016)
Andrew Conway, Michelle L. Blom, Lee Naish, Vanessa Teague
An analysis of New South Wales electronic vote counting. CoRR (2016)
Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
vVote: A Verifiable Voting System. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar
Efficient Computation of Exact IRV Margins. CoRR (2015)
J. Alex Halderman, Vanessa Teague
The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election. VoteID (2015)
Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
End-to-End Verifiability in Voting Systems, from Theory to Practice. IEEE Secur. Priv. 13 (3) (2015)
J. Alex Halderman, Vanessa Teague
The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election. CoRR (2015)
Oksana Kulyk, Vanessa Teague, Melanie Volkamer
Extending Helios Towards Private Eligibility Verifiability. VoteID (2015)
Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora
End-to-end verifiability. CoRR (2015)
Steve A. Schneider, Vanessa Teague, Chris Culnane, James Heather
Special Section on Vote-ID 2013. J. Inf. Secur. Appl. 19 (2) (2014)
Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
Faster Print on Demand for Prêt à Voter. EVT/WOTE (2014)
Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
vVote: a Verifiable Voting System (DRAFT). CoRR (2014)
James Heather, Steve A. Schneider, Vanessa Teague
Cryptographic protocols with everyday objects. Formal Aspects Comput. 26 (1) (2014)
Josh Benaloh, Peter Y. A. Ryan, Vanessa Teague
Verifiable Postal Voting. Security Protocols Workshop (2013)
Vanessa Teague
End-to-End Verifiable Postal Voting (Transcript of Discussion). Security Protocols Workshop (2013)
Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia
A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting (2012)
Udaya Parampalli, Kim Ramchen, Vanessa Teague
Efficiently Shuffling in Public. Public Key Cryptography (2012)
Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan
Using Prêt à Voter in Victoria State Elections. EVT/WOTE (2012)
Richard Buckland, Vanessa Teague, Roland Wen
Towards Best Practice for E-election Systems - Lessons from Trial and Error in Australian Elections. VoteID (2011)
James Heather, Morgan Llewellyn, Vanessa Teague, Roland Wen
On the Side-Effects of Introducing E-Voting. VoteID (2011)
James Heather, Peter Y. A. Ryan, Vanessa Teague
Pretty Good Democracy for More Expressive Voting Schemes. ESORICS (2010)
Giampaolo Bella, Peter Y. A. Ryan, Vanessa Teague
Virtually Perfect Democracy. Security Protocols Workshop (2010)
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Shuffle-sum: coercion-resistant verifiable tallying for STV voting. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Peter Y. A. Ryan, Vanessa Teague
Pretty Good Democracy. Security Protocols Workshop (2009)
Peter Y. A. Ryan, Vanessa Teague
Permutations in Prêt à Voter. EVT/WOTE (2009)
Vanessa Teague, Kim Ramchen, Lee Naish
Coercion-Resistant Tallying for STV Voting. EVT (2008)
Amy Beth Corman, Peter Schachte, Vanessa Teague
A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. AINA Workshops (1) (2007)
Amy Beth Corman, Peter Schachte, Vanessa Teague
QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. ACSC (2007)
Amy Beth Corman, Peter Schachte, Vanessa Teague
Secure random number agreement for peer-to-peer applications. ICPADS (2007)
Tom Coleman, Vanessa Teague
On The Complexity of Manipulating Elections. CATS (2007)
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci. 353 (1-3) (2006)
Joseph Y. Halpern, Vanessa Teague
Rational Secret Sharing and Multiparty Computation: Extended Abstract CoRR (2006)
Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague
A Secure Event Agreement (SEA) protocol for peer-to-peer games. ARES (2006)
Joseph Y. Halpern, Vanessa Teague
Rational secret sharing and multiparty computation: extended abstract. STOC (2004)
Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS (2004)
Vanessa Teague
Selecting Correlated Random Actions. Financial Cryptography (2004)
John C. Mitchell, Vanessa Teague
Autonomous Nodes and Distributed Mechanisms. ISSS (2002)
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). MFPS (2001)
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. LICS (2001)
Moni Naor, Vanessa Teague
Anti-persistence: History Independent Data Structures. IACR Cryptol. ePrint Arch. 2001 (2001)
Noga Alon, Vanessa Teague, Nicholas C. Wormald
Linear Arboricity and Linear k-Arboricity of Regular Graphs. Graphs Comb. 17 (1) (2001)

Vanessa Teague.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vanessa Teague