Amanote Research

Amanote Research

    RegisterSign 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 ChemistryBiochemistryDrug Discovery
2012English

vVote: Verifiable Electronic Voting in Practice

IEEE Security and Privacy
Computer NetworksElectronic EngineeringLawElectricalCommunications
2016English

End-To-End Verifiability in Voting Systems, From Theory to Practice

IEEE Security and Privacy
Computer NetworksElectronic EngineeringLawElectricalCommunications
2015English

A Peered Bulletin Board for Robust Use in Verifiable Voting Systems

2014English

Verifiable Voting Systems

2013English

Communicating B Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Verifying Authentication Protocol Implementations

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy