Philip B. Stark

74 papers A* 1Journal 42Unranked 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
Fast Conservative Monte Carlo Confidence Sets.
J. Comput. Graph. Stat.
Amanda K. Glazer, Philip B. Stark
2025 — conf
Dice, but Don't Slice: Optimizing the Efficiency of ONEAudit.
E-VOTE-ID
Jacob V. Spertus, Amanda K. Glazer, Philip B. Stark
2025 J jnl
Doing More With Less: Mismatch-Based Risk-Limiting Audits.
CoRR
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic
2024 J jnl
An Internet Voting System Fatally Flawed in Creative New Ways.
CoRR
Andrew W. Appel, Philip B. Stark
2024 — conf
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections.
FC Workshops
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024 J jnl
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections.
CoRR
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024 — conf
Improving the Computational Efficiency of Adaptive Audits of IRV Elections.
E-Vote-ID
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024 J jnl
Improving the Computational Efficiency of Adaptive Audits of IRV Elections.
CoRR
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2024 — conf
When Audits and Recounts are a Distraction.
E-Vote-ID (GI)
Philip B. Stark
2023 J jnl
A Declaration of Software Independence.
CoRR
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2023 — conf
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE.
E-Vote-ID
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2023 J jnl
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE.
CoRR
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
2023 — conf
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit.
FC Workshops
Philip B. Stark
2023 J jnl
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit.
CoRR
Philip B. Stark
2023 — conf
Stylish Risk-Limiting Audits in Practice.
E-Vote-ID (GI)
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
2023 J jnl
Stylish Risk-Limiting Audits in Practice.
CoRR
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
2022 J jnl
ALPHA: Audit that Learns from Previously Hand-Audited Ballots.
CoRR
Philip B. Stark
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 — conf
Non(c)esuch Ballot-Level Comparison Risk-Limiting Audits.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Philip B. Stark
2022 J jnl
Non(c)esuch Ballot-Level Risk-Limiting Audits for Precinct-Count Voting Systems.
CoRR
Philip B. Stark
2022 — conf
Sweeter than SUITE: Supermartingale Stratified Union-Intersection Tests of Elections.
E-Vote-ID
Jacob V. Spertus, Philip B. Stark
2022 — conf
They May Look and Look, Yet Not See: BMDs Cannot be Tested Adequately.
E-Vote-ID
Philip B. Stark, Ran Xie
2021 — conf
A Declaration of Software Independence.
Protocols, Strands, and Logic
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
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
More Style, Less Work: Card-style Data Decrease Risk-limiting Audit Sample Sizes.
DTRAP
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
2021 — conf
RiLACS: Risk Limiting Audits via Confidence Sequences.
E-VOTE-ID
Ian Waudby-Smith, Philip B. Stark, Aaditya Ramdas
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
Who Was that Masked Voter? The Tally Won't Tell!
E-VOTE-ID
Peter Y. A. Ryan, Peter B. Roenne, Dimiter Ostrev, Fatima-Ezzahra El Orche, Najmeh Soroush, Philip B. Stark
2020 — conf
A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods.
E-VOTE-ID
Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark, Vanessa J. Teague, Damjan Vukcevic
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
Bayesian Audits Are Average But Risk-Limiting Audits are Above Average.
E-VOTE-ID
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
2020 J jnl
More style, less work: card-style data decrease risk-limiting audit sample sizes.
CoRR
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
2020 J jnl
Multicenter validation of a machine-learning algorithm for 48-h all-cause mortality prediction.
Health Informatics J.
Hamid Mohamadlou, Saarang Panchavati, Jacob S. Calvert, Anna Lynn-Palevsky, Sidney Le, Angier Allen, Emily Pellegrini, Abigail Green-Saxena, Christopher W. Barton, Grant Fletcher, Lisa Shieh, Philip B. Stark, Uli K. Chettipally, David Shimabukuro, Mitchell Feldman, Ritankar Das
2020 — conf
Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA.
Financial Cryptography Workshops
Philip B. Stark
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 — conf
Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits.
Financial Cryptography Workshops
Kellie Ottoboni, Matthew Bernhard, J. Alex Halderman, Ronald L. Rivest, Philip B. Stark
2019 — conf
Election Integrity and Electronic Voting Machines in 2018 Georgia, USA.
E-VOTE-ID
Kellie Ottoboni, Philip B. Stark
2019 — conf
Risk-Limiting Tallies.
E-VOTE-ID
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
2019 J jnl
Risk-Limiting Tallies.
CoRR
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
2019 J jnl
Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA.
CoRR
Philip B. Stark
2019 J jnl
There is no Reliable Way to Detect Hacked Ballot-Marking Devices.
CoRR
Philip B. Stark
2018 A* conf
From Battlefields to Elections: Winning Strategies of Blotto and Auditing Games.
SODA
Soheil Behnezhad, Avrim Blum, Mahsa Derakhshan, Mohammad Taghi Hajiaghayi, Mohammad Mahdian, Christos H. Papadimitriou, Ronald L. Rivest, Saeed Seddighin, Philip B. Stark
2018 J jnl
Random problems with R.
CoRR
Kellie Ottoboni, Philip B. Stark
2018 — conf
Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE).
E-Vote-ID
Kellie Ottoboni, Philip B. Stark, Mark Lindeman, Neal McBurnett
2017 — conf
BatchVote: Voting Rules Designed for Auditability.
Financial Cryptography Workshops
Ronald L. Rivest, Philip B. Stark, Zara Perumal
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 J jnl
When Is an Election Verifiable?
IEEE Secur. Priv.
Ronald L. Rivest, Philip B. Stark
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
2015 J jnl
Constraints versus Priors.
SIAM/ASA J. Uncertain. Quantification
Philip B. Stark
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 J jnl
Mini-Minimax Uncertainty Quantification for Emulators.
SIAM/ASA J. Uncertain. Quantification
Jeffrey C. Regier, Philip B. Stark
2013 — conf
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
EVT/WOTE
Josh Benaloh, Michael D. Byrne, Bryce Eakin, Philip T. Kortum, Neal McBurnett, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Gail Fisher, Julian Montoya, Michelle Parker, Michael Winn
2012 J jnl
A Gentle Introduction to Risk-Limiting Audits.
IEEE Secur. Priv.
Mark Lindeman, Philip B. Stark
2012 — conf
BRAVO: Ballot-polling Risk-limiting Audits to Verify Outcomes.
EVT/WOTE
Mark Lindeman, Philip B. Stark, Vincent S. Yates
2012 J jnl
Evidence-Based Elections.
IEEE Secur. Priv.
Philip B. Stark, David A. Wagner
2012 J jnl
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
CoRR
Josh Benaloh, Mike Byrne, Philip T. Kortum, Neal McBurnett, Olivier Pereira, Philip B. Stark, Dan S. Wallach
2011 J jnl
SOBA: Secrecy-preserving Observable Ballot-level Audit
CoRR
Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark
2011 — conf
SOBA: Secrecy-preserving Observable Ballot-level Audit.
EVT/WOTE
Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark
2010 — conf
Super-Simple Simultaneous Single-Ballot Risk-Limiting Audits.
EVT/WOTE
Philip B. Stark
2009 J jnl
CAST: Canvass audits by sampling and testing.
IEEE Trans. Inf. Forensics Secur.
Philip B. Stark
2009 J jnl
Election audits using a trinomial bound.
IEEE Trans. Inf. Forensics Secur.
Luke Miratrix, Philip B. Stark
2009 — conf
Implementing Risk-Limiting Post-Election Audits in California.
EVT/WOTE
Joseph Lorenzo Hall, Philip B. Stark, Luke Miratrix, Melvin Briones, Elaine Ginnold, Freddie Oakley, Martin Peaden, Gail Pellerin, Tom Stanionis, Tricia Webber
2009 J jnl
Risk-limiting postelection audits: conservative P-values from common probability inequalities.
IEEE Trans. Inf. Forensics Secur.
Philip B. Stark
2000 J jnl
Multitaper spectrum estimation for time series with gaps.
IEEE Trans. Signal Process.
Imola K. Fodor, Philip B. Stark
1993 J jnl
A note on rearrangements, spectral concentration, and the zero-order prolate spheroidal wavefunction.
IEEE Trans. Inf. Theory
David L. Donoho, Philip B. Stark