Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Schneider
Structure-Based Design of Potent and Selective CK1γ Inhibitors
ACS Medicinal Chemistry Letters
Organic Chemistry
Biochemistry
Drug Discovery
vVote: Verifiable Electronic Voting in Practice
IEEE Security and Privacy
Computer Networks
Electronic Engineering
Law
Electrical
Communications
End-To-End Verifiability in Voting Systems, From Theory to Practice
IEEE Security and Privacy
Computer Networks
Electronic Engineering
Law
Electrical
Communications
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
Verifiable Voting Systems
Communicating B Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Authentication Protocol Implementations