Analysis of an electronic voting system (2004)

by Tadayoshi Kohno , Adam Stubblefield
Venue:In IEEE Symposium on Security and Privacy
Citations:130 - 15 self

Active Bibliography

VoteBox: A tamper-evident, verifiable voting machine – Daniel Robert Sandler - 2009
23 CWC: A high-performance conventional authenticated encryption mode – Tadayoshi Kohno, John Viega, Doug Whiting - 2004
15 Does Encryption with Redundancy Provide Authenticity? – Jee Hea An, Mihir Bellare - 2001
4 Provable-security analysis of authenticated encryption in Kerberos – Alexandra Boldyreva, Virendra Kumar - 2007
Hack-a-Vote: Demonstrating . . . – Jonathan Bannet, Justin Singer, David W. Price, Dan S. Wallach, Algis Rudys
1 Analysis of the WinZip encryption method – Tadayoshi Kohno - 2004
Probable plaintext cryptanalysis of . . . – Steven M. Bellovin - 1997
24 Probable Plaintext Cryptanalysis of the IP Security Protocols – Steven M. Bellovin - 1997
2 Vulnerability of SSL to Chosen-Plaintext Attack – Gregory V. Bard - 2004
1 On the Security of the CCM Encryption Mode and of a Slight Variant – Pierre-alain Fouque, Gwenaëlle Martinet, Frédéric Valette, Sébastien Zimmer
16 Authenticated encryption in SSH: Provably fixing the SSH Binary Packet Protocol. Cryptology ePrint Archive, Report 2002/078 – Mihir Bellare, Tadayoshi Kohno, Chanathip Namprempre - 2002
204 Analysis of key-exchange protocols and their use for building secure channels – Ran Canetti, Hugo Krawczyk - 2001
2 Secure Channels based on Authenticated Encryption Schemes: A Simple Characterization – Chanathip Namprempre - 2002
6 Provably Fixing the SSH Binary Packet Protocol – Mihir Bellare, Tadayoshi Kohno, Chanathip Namprempre - 2002
2 Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR.”In – Kenneth G. Paterson, Gaven J. Watson - 2010
1 Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol – Kenneth G. Paterson, Thomas Ristenpart, Thomas Shrimpton
A Cryptographic Tour of the IPsec Standards – Kenneth Paterson Information, Kenneth G. Paterson - 2006
8 Concealment and its applications to authenticated encryption – Yevgeniy Dodis, Jee Hea An - 2003
9 A New Approach to DNS Security (DNSSEC) – Giuseppe Ateniese, Stefan Mangard - 2001