Philip B. Stark

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 50

Top Topics

Weighting Schemes

Top Venues

Financial Cryptography Workshops

Publications

Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. CoRR (2024)
Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. CoRR (2024)
Philip B. Stark
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit. CoRR (2023)
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
Stylish Risk-Limiting Audits in Practice. CoRR (2023)
Philip B. Stark
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit. FC Workshops (2023)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. CoRR (2023)
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR (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)
Jacob V. Spertus, Philip B. Stark
Sweeter than SUITE: Supermartingale Stratified Union-Intersection Tests of Elections. 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)
Philip B. Stark
Non(c)esuch Ballot-Level Risk-Limiting Audits for Precinct-Count Voting Systems. CoRR (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)
Philip B. Stark
Non(c)esuch Ballot-Level Comparison Risk-Limiting Audits. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (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)
Philip B. Stark, Ran Xie
They May Look and Look, Yet Not See: BMDs Cannot be Tested Adequately. E-Vote-ID (2022)
Philip B. Stark
ALPHA: Audit that Learns from Previously Hand-Audited Ballots. CoRR (2022)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Hamiltonian Elections. Financial Cryptography Workshops (2021)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. Protocols, Strands, and Logic (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)
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)
Ian Waudby-Smith, Philip B. Stark, Aaditya Ramdas
RiLACS: Risk Limiting Audits via Confidence Sequences. E-VOTE-ID (2021)
Peter Y. A. Ryan, Peter B. Roenne, Dimiter Ostrev, Fatima-Ezzahra El Orche, Najmeh Soroush, Philip B. Stark
Who Was that Masked Voter? The Tally Won't Tell! E-VOTE-ID (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)
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)
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
Multicenter validation of a machine-learning algorithm for 48-h all-cause mortality prediction. Health Informatics J. 26 (3) (2020)
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
Bayesian Audits Are Average But Risk-Limiting Audits are Above Average. E-VOTE-ID (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)
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
More style, less work: card-style data decrease risk-limiting audit sample sizes. CoRR (2020)
Philip B. Stark
Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA. Financial Cryptography Workshops (2020)
Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark, Vanessa J. Teague, Damjan Vukcevic
A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods. E-VOTE-ID (2020)
Philip B. Stark
Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA. CoRR (2019)
Vishal Mohanty, Chris Culnane, Philip B. Stark, Vanessa Teague
Auditing Indian Elections. E-VOTE-ID (2019)
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
Risk-Limiting Tallies. E-VOTE-ID (2019)
Kellie Ottoboni, Philip B. Stark
Election Integrity and Electronic Voting Machines in 2018 Georgia, USA. E-VOTE-ID (2019)
Kellie Ottoboni, Matthew Bernhard, J. Alex Halderman, Ronald L. Rivest, Philip B. Stark
Bernoulli Ballot Polling: A Manifest Improvement for Risk-Limiting Audits. Financial Cryptography Workshops (2019)
Philip B. Stark
There is no Reliable Way to Detect Hacked Ballot-Marking Devices. CoRR (2019)
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
Risk-Limiting Tallies. CoRR (2019)
Vishal Mohanty, Nicholas Akinyokun, Andrew Conway, Chris Culnane, Philip B. Stark, Vanessa Teague
Auditing Indian Elections. CoRR (2019)
Soheil Behnezhad, Avrim Blum, Mahsa Derakhshan, Mohammad Taghi Hajiaghayi, Mohammad Mahdian, Christos H. Papadimitriou, Ronald L. Rivest, Saeed Seddighin, Philip B. Stark
From Battlefields to Elections: Winning Strategies of Blotto and Auditing Games. SODA (2018)
Kellie Ottoboni, Philip B. Stark, Mark Lindeman, Neal McBurnett
Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE). E-Vote-ID (2018)
Kellie Ottoboni, Philip B. Stark
Random problems with R. CoRR (2018)
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)
Ronald L. Rivest, Philip B. Stark
When Is an Election Verifiable? IEEE Secur. Priv. 15 (3) (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)
Ronald L. Rivest, Philip B. Stark, Zara Perumal
BatchVote: Voting Rules Designed for Auditability. Financial Cryptography Workshops (2017)
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)
Philip B. Stark
Constraints versus Priors. SIAM/ASA J. Uncertain. Quantification 3 (1) (2015)
Jeffrey C. Regier, Philip B. Stark
Mini-Minimax Uncertainty Quantification for Emulators. SIAM/ASA J. Uncertain. Quantification 3 (1) (2015)
Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora
End-to-end verifiability. CoRR (2015)
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
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System. EVT/WOTE (2013)
Mark Lindeman, Philip B. Stark
A Gentle Introduction to Risk-Limiting Audits. IEEE Secur. Priv. 10 (5) (2012)
Josh Benaloh, Mike Byrne, Philip T. Kortum, Neal McBurnett, Olivier Pereira, Philip B. Stark, Dan S. Wallach
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System CoRR (2012)
Philip B. Stark, David A. Wagner
Evidence-Based Elections. IEEE Secur. Priv. 10 (5) (2012)
Mark Lindeman, Philip B. Stark, Vincent S. Yates
BRAVO: Ballot-polling Risk-limiting Audits to Verify Outcomes. EVT/WOTE (2012)
Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark
SOBA: Secrecy-preserving Observable Ballot-level Audit. EVT/WOTE (2011)
Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark
SOBA: Secrecy-preserving Observable Ballot-level Audit CoRR (2011)
Philip B. Stark
Super-Simple Simultaneous Single-Ballot Risk-Limiting Audits. EVT/WOTE (2010)
Joseph Lorenzo Hall, Philip B. Stark, Luke Miratrix, Melvin Briones, Elaine Ginnold, Freddie Oakley, Martin Peaden, Gail Pellerin, Tom Stanionis, Tricia Webber
Implementing Risk-Limiting Post-Election Audits in California. EVT/WOTE (2009)
Luke Miratrix, Philip B. Stark
Election audits using a trinomial bound. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Philip B. Stark
CAST: Canvass audits by sampling and testing. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Philip B. Stark
Risk-limiting postelection audits: conservative P-values from common probability inequalities. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Imola K. Fodor, Philip B. Stark
Multitaper spectrum estimation for time series with gaps. IEEE Trans. Signal Process. 48 (12) (2000)
David L. Donoho, Philip B. Stark
A note on rearrangements, spectral concentration, and the zero-order prolate spheroidal wavefunction. IEEE Trans. Inf. Theory 39 (1) (1993)