4 citations · 4 across the 8 of their papers we have counts for
9 papers
Ten Years of ZMap
Zakir Durumeric, David Adrian, Phillip Stephens +2
Since ZMap's debut in 2013, networking and security researchers have used the open-source scanner to write hundreds of research papers that study Internet behavior. In addition, ZM…
Just add WATER: WebAssembly-based Circumvention Transports
Erik Chi, Gaukas Wang, J. Alex Halderman +2
As Internet censors rapidly evolve new blocking techniques, circumvention tools must also adapt and roll out new strategies to remain unblocked. But new strategies can be time cons…
Improving the Security of United States Elections with Robust Optimization
Braden L. Crimmins, J. Alex Halderman, Bradley Sturt
For more than a century, election officials across the United States have inspected voting machines before elections using a procedure called Logic and Accuracy Testing (LAT). This…
Logic and Accuracy Testing: A Fifty-State Review
Josiah Walker, Nakul Bajaj, Braden L. Crimmins +1
Pre-election logic and accuracy (L&A) testing is a process in which election officials validate the behavior of voting equipment by casting a known set of test ballots and confirmi…
RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail
Braden L. Crimmins, Marshall Rhea, J. Alex Halderman
Postal voting is growing rapidly in the U.S., with 43% of voters casting ballots by mail in 2020, yet until recently there has been little research about extending the protections…
Challenges in cybersecurity: Lessons from biological defense systems
Edward Schrom, Ann Kinzig, Stephanie Forrest +18
We explore the commonalities between methods for assuring the security of computer systems (cybersecurity) and the mechanisms that have evolved through natural selection to protect…