7 citations · 17 across the 9 of their papers we have counts for
12 papers
AOT: Anonymization by Oblivious Transfer
Farid Javani, Alan T. Sherman
We introduce AOT, an anonymous communication system based on mix network architecture that uses oblivious transfer (OT) to deliver messages. Using OT to deliver messages helps AOT…
Phrase-Verified Voting: Verifiable Low-Tech Remote Boardroom Voting
Enka Blanchard, Ryan Robucci, Ted Selker +1
We present Phrase-Verified Voting, a voter-verifiable remote voting system assembled from commercial off-the-shelf software for small private elections. The system is transparent a…
BVOT: Self-Tallying Boardroom Voting with Oblivious Transfer
Farid Javani, Alan T. Sherman
A boardroom election is an election with a small number of voters carried out with public communications. We present BVOT, a self-tallying boardroom voting protocol with ballot sec…
Boardroom Voting: Verifiable Voting with Ballot Privacy Using Low-Tech Cryptography in a Single Room
Enka Blanchard, Ted Selker, Alan T. Sherman
A boardroom election is an election that takes place in a single room -- the boardroom -- in which all voters can see and hear each other. We present an initial exploration of boar…
Formal Methods Analysis of the Secure Remote Password Protocol
Alan T. Sherman, Erin Lanus, Moses Liskov +7
We analyze the Secure Remote Password (SRP) protocol for structural weaknesses using the Cryptographic Protocol Shapes Analyzer (CPSA) in the first formal analysis of SRP (specific…
PPT: New Low Complexity Deterministic Primality Tests Leveraging Explicit and Implicit Non-Residues. A Set of Three Companion Manuscripts
Dhananjay Phatak, Alan T. Sherman, Steven D. Houston +1
In this set of three companion manuscripts/articles, we unveil our new results on primality testing and reveal new primality testing algorithms enabled by those results. The result…