Vanessa Teague

119 papers A* 5A 3B 5Journal 56Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. CoRR Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2025	J	`jnl`	Efficient Lower Bounding of Single Transferable Vote Election Margins. CoRR Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2025	—	`conf`	MERGE: Matching Electronic Results with Genuine Evidence, for Verifiable Voting in Person at Remote Locations. E-VOTE-ID Ben Adida, John Caron, Arash Mirzaei, Vanessa Teague
2025	J	`jnl`	Security Analysis of Chain-FS service. CoRR Vanessa Teague, Arash Mirzaei
2025	J	`jnl`	To whom did my vote go? CoRR Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2024	J	`jnl`	Bugs in our pockets: the risks of client-side scanning. J. Cybersecur. 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
2024	J	`jnl`	MERGE: Matching Electronic Results with Genuine Evidence for verifiable voting in person at remote locations. CoRR Ben Adida, John Caron, Arash Mirzaei, Vanessa Teague
2024	—	`ed.`	Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part I Public Key Cryptography (1) Qiang Tang, Vanessa Teague
2024	—	`ed.`	Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part II Public Key Cryptography (2) Qiang Tang, Vanessa Teague
2024	—	`ed.`	Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part III Public Key Cryptography (3) Qiang Tang, Vanessa Teague
2024	—	`ed.`	Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part IV Public Key Cryptography (4) Qiang Tang, Vanessa Teague
2024	—	`conf`	RLAs for 2-Seat STV Elections: Revisited. FC Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2024	J	`jnl`	RLAs for 2-Seat STV Elections: Revisited. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2024	J	`jnl`	Security analysis of the Australian Capital Territory's eVACS 2020/2024 paperless direct recording electronic voting system. CoRR Chris Culnane, Andrew Conway, Vanessa Teague, Ty Wilson-Brown
2023	A	`conf`	Democratizing election verification: new methods for addressing an ancient attacker model. AsiaCCS Vanessa Teague
2023	—	`conf`	Risk-Limiting Audits for Condorcet Elections. FC Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2023	J	`jnl`	Risk-Limiting Audits for Condorcet Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	—	`conf`	A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. Financial Cryptography Workshops Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. CoRR Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. CoRR Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	—	`conf`	Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CoRR Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2022	J	`jnl`	Privacy Preserving Opinion Aggregation. IACR Cryptol. ePrint Arch. Aggelos Kiayias, Vanessa Teague, Orfeas Stefanos Thyfronitis Litos
2022	J	`jnl`	Public comprehension of privacy protections applied to health data shared for research: An Australian cross-sectional study. Int. J. Medical Informatics Amy Beth Corman, Rachel Canaway, Chris Culnane, Vanessa Teague
2022	—	`conf`	Running the Race: A Swiss Voting Story. E-Vote-ID Thomas Haines, Olivier Pereira, Vanessa Teague
2021	J	`jnl`	A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	—	`conf`	Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. E-VOTE-ID Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	J	`jnl`	Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. CoRR Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	—	`conf`	Auditing Hamiltonian Elections. Financial Cryptography Workshops Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	J	`jnl`	Auditing Hamiltonian Elections. CoRR Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2021	J	`jnl`	Bugs in our Pockets: The Risks of Client-Side Scanning. CoRR 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
2021	J	`jnl`	Towards Verifiable Remote Voting with Paper Assurance. CoRR Eleanor McMurtry, Xavier Boyen, Chris Culnane, Kristian Gjøsteen, Thomas Haines, Vanessa Teague
2021	J	`jnl`	VAULT-Style Risk-Limiting Audits and the Inyo County Pilot. IEEE Secur. Priv. Josh Benaloh, Kammi Foote, Philip B. Stark, Vanessa Teague, Dan S. Wallach
2021	—	`conf`	Which E-Voting Problems Do We Need to Solve? CRYPTO (1) Vanessa Teague
2020	J	`jnl`	A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods. CoRR Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark, Vanessa Teague, Damjan Vukcevic
2020	—	`conf`	Assessing Centrality Without Knowing Connections. PAKDD (2) Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
2020	J	`jnl`	Assessing Centrality Without Knowing Connections. CoRR Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
2020	A*	`conf`	How not to prove your election outcome. SP Thomas Haines, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
2020	J	`jnl`	Random errors are not politically neutral. CoRR Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
2020	—	`conf`	When Is a Proof Actually Not? WOOT @ USENIX Security Symposium Vanessa Teague
2020	—	`conf`	When Is a Test Not a Proof? ESORICS (2) Eleanor McMurtry, Olivier Pereira, Vanessa Teague
2020	J	`jnl`	When is a test not a proof? IACR Cryptol. ePrint Arch. Eleanor McMurtry, Olivier Pereira, Vanessa Teague
2020	J	`jnl`	You can do RLAs for IRV. CoRR Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague
2019	—	`conf`	Auditing Indian Elections. E-VOTE-ID Vishal Mohanty, Chris Culnane, Philip B. Stark, Vanessa Teague
2019	J	`jnl`	Auditing Indian Elections. CoRR Vishal Mohanty, Nicholas Akinyokun, Andrew Conway, Chris Culnane, Philip B. Stark, Vanessa Teague
2019	A*	`conf`	Differentially-Private Two-Party Egocentric Betweenness Centrality. INFOCOM Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
2019	J	`jnl`	Differentially-Private Two-Party Egocentric Betweenness Centrality. CoRR Leyla Roohi, Benjamin I. P. Rubinstein, Vanessa Teague
2019	—	`ed.`	Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers Financial Cryptography Workshops Aviv Zohar, Ittay Eyal, Vanessa Teague, Jeremy Clark, Andrea Bracciali, Federico Pintore, Massimiliano Sala
2019	J	`jnl`	Knights and Knaves Run Elections: Internet Voting and Undetectable Electoral Fraud. IEEE Secur. Priv. Chris Culnane, Aleksander Essex, Sarah Jamie Lewis, Olivier Pereira, Vanessa Teague
2019	—	`conf`	Receipt-Free, Universally and Individually Verifiable Poll Attendance. ACSW Nicholas Akinyokun, Vanessa Teague
2019	J	`jnl`	Risk-Limiting Audits for IRV Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague
2019	J	`jnl`	Stop the Open Data Bus, We Want to Get Off. CoRR Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
2019	—	`conf`	Universally Verifiable MPC and IRV Ballot Counting. Financial Cryptography Kim Ramchen, Chris Culnane, Olivier Pereira, Vanessa Teague
2018	J	`jnl`	Options for encoding names for data linking at the Australian Bureau of Statistics. CoRR Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
2018	J	`jnl`	Universally Verifiable MPC with Applications to IRV Ballot Counting. IACR Cryptol. ePrint Arch. Chris Culnane, Olivier Pereira, Kim Ramchen, Vanessa Teague
2017	J	`jnl`	A Vote of Confidence? IEEE Secur. Priv. Josh Benaloh, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2017	—	`conf`	An analysis of New South Wales electronic vote counting. ACSW Andrew Conway, Michelle L. Blom, Lee Naish, Vanessa Teague
2017	J	`jnl`	Computing the Margin of Victory in Preferential Parliamentary Elections. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague
2017	—	`ed.`	Electronic Voting - First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings E-VOTE-ID Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole J. Goodman, Peter Y. A. Ryan, Vanessa Teague
2017	—	`ed.`	Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers Financial Cryptography Workshops Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y. A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson
2017	J	`jnl`	Health Data in an Open World. CoRR Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
2017	J	`jnl`	Privacy Assessment of De-identified Opal Data: A report for Transport for NSW. CoRR Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
2017	—	`conf`	Privacy-Preserving Queries over Secret-Shared Graph-Structured Data. TrustCom/BigDataSE/ICESS Leyla Roohi, Vanessa Teague
2017	—	`conf`	Public Evidence from Secret Ballots. E-VOTE-ID 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
2017	J	`jnl`	Public Evidence from Secret Ballots. CoRR 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
2017	B	`conf`	Security and Privacy Implications of NFC-enabled Contactless Payment Systems. ARES Nicholas Akinyokun, Vanessa Teague
2017	—	`conf`	Trust Implications of DDoS Protection in Online Elections. E-VOTE-ID Chris Culnane, Mark Eldridge, Aleksander Essex, Vanessa Teague
2017	J	`jnl`	Trust Implications of DDoS Protection in Online Elections. CoRR Chris Culnane, Mark Eldridge, Aleksander Essex, Vanessa Teague
2017	J	`jnl`	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 Chris Culnane, Benjamin I. P. Rubinstein, Vanessa Teague
2017	—	`conf`	Why Open Government is good for cybersecurity and public trust - now would be a good time to start. HAISA Chris Culnane, Vanessa Teague
2016	J	`jnl`	A review of E-voting: the past, present and future. Ann. des Télécommunications J. Paul Gibson, Robert Krimmer, Vanessa Teague, Julia Pomares
2016	J	`jnl`	An analysis of New South Wales electronic vote counting. CoRR Andrew Conway, Michelle L. Blom, Lee Naish, Vanessa Teague
2016	J	`jnl`	Auditing Australian Senate Ballots. CoRR Berj Chilingirian, Zara Perumal, Ronald L. Rivest, Grahame Bowland, Andrew Conway, Philip B. Stark, Michelle L. Blom, Chris Culnane, Vanessa Teague
2016	A	`conf`	Efficient Computation of Exact IRV Margins. ECAI Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar
2016	J	`jnl`	Privately Matching k-mers. IACR Cryptol. ePrint Arch. Justin Bedo, Thomas C. Conway, Kim Ramchen, Vanessa Teague
2016	—	`conf`	Strategies for Voter-Initiated Election Audits. GameSec Chris Culnane, Vanessa Teague
2015	J	`jnl`	Efficient Computation of Exact IRV Margins. CoRR Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Ron Tidhar
2015	J	`jnl`	End-to-End Verifiability in Voting Systems, from Theory to Practice. IEEE Secur. Priv. Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2015	J	`jnl`	End-to-end verifiability. CoRR Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora
2015	—	`conf`	Extending Helios Towards Private Eligibility Verifiability. VoteID Oksana Kulyk, Vanessa Teague, Melanie Volkamer
2015	—	`conf`	The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election. VoteID J. Alex Halderman, Vanessa Teague
2015	J	`jnl`	The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election. CoRR J. Alex Halderman, Vanessa Teague
2015	J	`jnl`	vVote: A Verifiable Voting System. ACM Trans. Inf. Syst. Secur. Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	J	`jnl`	Cryptographic protocols with everyday objects. Formal Aspects Comput. James Heather, Steve A. Schneider, Vanessa Teague
2014	—	`conf`	Faster Print on Demand for Prêt à Voter. EVT/WOTE Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	J	`jnl`	Special Section on Vote-ID 2013. J. Inf. Secur. Appl. Steve A. Schneider, Vanessa Teague, Chris Culnane, James Heather
2014	J	`jnl`	vVote: a Verifiable Voting System (DRAFT). CoRR Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2013	—	`ed.`	E-Voting and Identify - 4th International Conference, VoteID 2013, Guildford, UK, July 17-19, 2013. Proceedings VoteID James Heather, Steve A. Schneider, Vanessa Teague
2013	—	`conf`	End-to-End Verifiable Postal Voting (Transcript of Discussion). Security Protocols Workshop Vanessa Teague
2013	—	`conf`	Verifiable Postal Voting. Security Protocols Workshop Josh Benaloh, Peter Y. A. Ryan, Vanessa Teague
2012	—	`conf`	A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia
2012	—	`conf`	Efficiently Shuffling in Public. Public Key Cryptography Udaya Parampalli, Kim Ramchen, Vanessa Teague
2012	—	`conf`	Using Prêt à Voter in Victoria State Elections. EVT/WOTE Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan
2011	—	`ed.`	2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '11, San Francisco, CA, USA, August 8-9, 2011 EVT/WOTE Hovav Shacham, Vanessa Teague
2011	—	`conf`	On the Side-Effects of Introducing E-Voting. VoteID James Heather, Morgan Llewellyn, Vanessa Teague, Roland Wen
2011	—	`conf`	Towards Best Practice for E-election Systems - Lessons from Trial and Error in Australian Elections. VoteID Richard Buckland, Vanessa Teague, Roland Wen
2010	A	`conf`	Pretty Good Democracy for More Expressive Voting Schemes. ESORICS James Heather, Peter Y. A. Ryan, Vanessa Teague
2010	—	`conf`	Virtually Perfect Democracy. Security Protocols Workshop Giampaolo Bella, Peter Y. A. Ryan, Vanessa Teague
2009	—	`conf`	Permutations in Prêt à Voter. EVT/WOTE Peter Y. A. Ryan, Vanessa Teague
2009	—	`conf`	Pretty Good Democracy. Security Protocols Workshop Peter Y. A. Ryan, Vanessa Teague
2009	J	`jnl`	Shuffle-sum: coercion-resistant verifiable tallying for STV voting. IEEE Trans. Inf. Forensics Secur. Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
2008	—	`conf`	Coercion-Resistant Tallying for STV Voting. EVT Vanessa Teague, Kim Ramchen, Lee Naish
2007	—	`conf`	A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications. AINA Workshops (1) Amy Beth Corman, Peter Schachte, Vanessa Teague
2007	—	`conf`	On The Complexity of Manipulating Elections. CATS Tom Coleman, Vanessa Teague
2007	—	`conf`	QUIP: A Protocol For Securing Content in Peer-To-Peer Publish/Subscribe Overlay Networks. ACSC Amy Beth Corman, Peter Schachte, Vanessa Teague
2007	B	`conf`	Secure random number agreement for peer-to-peer applications. ICPADS Amy Beth Corman, Peter Schachte, Vanessa Teague
2006	B	`conf`	A Secure Event Agreement (SEA) protocol for peer-to-peer games. ARES Amy Beth Corman, Scott Douglas, Peter Schachte, Vanessa Teague
2006	J	`jnl`	A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. Theor. Comput. Sci. John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
2006	J	`jnl`	Rational Secret Sharing and Multiparty Computation: Extended Abstract CoRR Joseph Y. Halpern, Vanessa Teague
2005	—	`—`	Combining cryptography and game theory in distributed algorithms. Vanessa Teague
2004	B	`conf`	Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. FoSSaCS Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague
2004	A*	`conf`	Rational secret sharing and multiparty computation: extended abstract. STOC Joseph Y. Halpern, Vanessa Teague
2004	—	`conf`	Selecting Correlated Random Actions. Financial Cryptography Vanessa Teague
2002	—	`conf`	Autonomous Nodes and Distributed Mechanisms. ISSS John C. Mitchell, Vanessa Teague
2001	B	`conf`	A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). MFPS John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
2001	J	`jnl`	Anti-persistence: History Independent Data Structures. IACR Cryptol. ePrint Arch. Moni Naor, Vanessa Teague
2001	A*	`conf`	Anti-presistence: history independent data structures. STOC Moni Naor, Vanessa Teague
2001	J	`jnl`	Linear Arboricity and Linear k-Arboricity of Regular Graphs. Graphs Comb. Noga Alon, Vanessa Teague, Nicholas C. Wormald
2001	A*	`conf`	Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. LICS John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague