default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilip B. Stark
Person information
- affiliation: University of California, Berkeley, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Alexander Ek
, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. E-Vote-ID 2024: 37-53- [i26]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. CoRR abs/2403.15400 (2024) - [i25]Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. CoRR abs/2407.16465 (2024) - 2023
- [c27]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. E-Vote-ID 2023: 35-51 - [c26]Philip B. Stark:
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit. FC Workshops 2023: 63-78 - [i24]Philip B. Stark:
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit. CoRR abs/2303.03335 (2023) - [i23]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR abs/2307.10972 (2023) - [i22]Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark:
Stylish Risk-Limiting Audits in Practice. CoRR abs/2309.09081 (2023) - [i21]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. CoRR abs/2311.03372 (2023) - 2022
- [c25]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: 525-540 - [c24]Philip B. Stark:
Non(c)esuch Ballot-Level Comparison Risk-Limiting Audits. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 541-554 - [c23]Jacob V. Spertus, Philip B. Stark:
Sweeter than SUITE: Supermartingale Stratified Union-Intersection Tests of Elections. E-Vote-ID 2022: 106-121 - [c22]Philip B. Stark, Ran Xie:
They May Look and Look, Yet Not See: BMDs Cannot be Tested Adequately. E-Vote-ID 2022: 122-138 - [i20]Philip B. Stark:
ALPHA: Audit that Learns from Previously Hand-Audited Ballots. CoRR abs/2201.02707 (2022) - [i19]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 abs/2205.14634 (2022) - [i18]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 abs/2206.14605 (2022) - [i17]Philip B. Stark:
Non(c)esuch Ballot-Level Risk-Limiting Audits for Precinct-Count Voting Systems. CoRR abs/2207.01362 (2022) - [i16]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 abs/2209.03881 (2022) - 2021
- [j12]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): 8-18 (2021) - [c21]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. Protocols, Strands, and Logic 2021: 198-217 - [c20]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: 47-62 - [c19]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: 106-123 - [c18]Ian Waudby-Smith, Philip B. Stark, Aaditya Ramdas:
RiLACS: Risk Limiting Audits via Confidence Sequences. E-VOTE-ID 2021: 124-139 - [c17]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. Financial Cryptography Workshops 2021: 235-250 - [i15]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. CoRR abs/2102.08510 (2021) - [i14]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 abs/2107.11903 (2021) - 2020
- [j11]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): 1912-1925 (2020) - [c16]Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark:
Bayesian Audits Are Average But Risk-Limiting Audits are Above Average. E-VOTE-ID 2020: 84-94 - [c15]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: 112-128 - [c14]Philip B. Stark:
Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA. Financial Cryptography Workshops 2020: 319-336 - [i13]Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague:
You can do RLAs for IRV. CoRR abs/2004.00235 (2020) - [i12]Zhuoqun Huang, Ronald L. Rivest, Philip B. Stark, Vanessa Teague, Damjan Vukcevic:
A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods. CoRR abs/2008.08536 (2020) - [i11]Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark:
More style, less work: card-style data decrease risk-limiting audit sample sizes. CoRR abs/2012.03371 (2020)
2010 – 2019
- 2019
- [c13]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: 226-241 - [c12]Vishal Mohanty, Chris Culnane, Philip B. Stark, Vanessa Teague:
Auditing Indian Elections. E-VOTE-ID 2019: 150-165 - [c11]Kellie Ottoboni, Philip B. Stark:
Election Integrity and Electronic Voting Machines in 2018 Georgia, USA. E-VOTE-ID 2019: 166-182 - [c10]Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. E-VOTE-ID 2019: 183-199 - [i10]Vishal Mohanty, Nicholas Akinyokun, Andrew Conway, Chris Culnane, Philip B. Stark, Vanessa Teague:
Auditing Indian Elections. CoRR abs/1901.03108 (2019) - [i9]Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. CoRR abs/1908.04947 (2019) - [i8]Philip B. Stark:
There is no Reliable Way to Detect Hacked Ballot-Marking Devices. CoRR abs/1908.08144 (2019) - [i7]Philip B. Stark:
Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA. CoRR abs/1911.10035 (2019) - 2018
- [c9]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: 2291-2310 - [c8]Kellie Ottoboni, Philip B. Stark, Mark Lindeman, Neal McBurnett:
Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE). E-Vote-ID 2018: 174-188 - [i6]Kellie Ottoboni, Philip B. Stark:
Random problems with R. CoRR abs/1809.06520 (2018) - 2017
- [j10]Ronald L. Rivest, Philip B. Stark:
When Is an Election Verifiable? IEEE Secur. Priv. 15(3): 48-50 (2017) - [c7]Ronald L. Rivest, Philip B. Stark, Zara Perumal:
BatchVote: Voting Rules Designed for Auditability. Financial Cryptography Workshops 2017: 317-333 - [c6]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: 84-109 - [i5]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 abs/1707.08619 (2017) - 2016
- [i4]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 abs/1610.00127 (2016) - 2015
- [j9]Philip B. Stark:
Constraints versus Priors. SIAM/ASA J. Uncertain. Quantification 3(1): 586-598 (2015) - [j8]Jeffrey C. Regier, Philip B. Stark:
Mini-Minimax Uncertainty Quantification for Emulators. SIAM/ASA J. Uncertain. Quantification 3(1): 686-708 (2015) - [i3]Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora:
End-to-end verifiability. CoRR abs/1504.03778 (2015) - 2013
- [c5]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 - 2012
- [j7]Philip B. Stark, David A. Wagner:
Evidence-Based Elections. IEEE Secur. Priv. 10(5): 33-41 (2012) - [j6]Mark Lindeman, Philip B. Stark:
A Gentle Introduction to Risk-Limiting Audits. IEEE Secur. Priv. 10(5): 42-49 (2012) - [c4]Mark Lindeman, Philip B. Stark, Vincent S. Yates:
BRAVO: Ballot-polling Risk-limiting Audits to Verify Outcomes. EVT/WOTE 2012 - [i2]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 abs/1211.1904 (2012) - 2011
- [c3]Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark:
SOBA: Secrecy-preserving Observable Ballot-level Audit. EVT/WOTE 2011 - [i1]Josh Benaloh, Douglas W. Jones, Eric Lazarus, Mark Lindeman, Philip B. Stark:
SOBA: Secrecy-preserving Observable Ballot-level Audit. CoRR abs/1105.5803 (2011) - 2010
- [c2]Philip B. Stark:
Super-Simple Simultaneous Single-Ballot Risk-Limiting Audits. EVT/WOTE 2010
2000 – 2009
- 2009
- [j5]Philip B. Stark:
CAST: Canvass audits by sampling and testing. IEEE Trans. Inf. Forensics Secur. 4(4): 708-717 (2009) - [j4]Luke Miratrix, Philip B. Stark:
Election audits using a trinomial bound. IEEE Trans. Inf. Forensics Secur. 4(4): 974-981 (2009) - [j3]Philip B. Stark:
Risk-limiting postelection audits: conservative P-values from common probability inequalities. IEEE Trans. Inf. Forensics Secur. 4(4): 1005-1014 (2009) - [c1]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 - 2000
- [j2]Imola K. Fodor, Philip B. Stark:
Multitaper spectrum estimation for time series with gaps. IEEE Trans. Signal Process. 48(12): 3472-3483 (2000)
1990 – 1999
- 1993
- [j1]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): 257-260 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
