Active Bibliography

Voting – Mohamed Khlaif
VoteBox: A tamper-evident, verifiable voting machine – Daniel Robert Sandler - 2009
16 Does Encryption with Redundancy Provide Authenticity? – Jee Hea An, Mihir Bellare - 2001
7 V.: Provable-security analysis of authenticated encryption – Alexandra Boldyreva, Virendra Kumar
31 CWC: A high-performance conventional authenticated encryption mode – Tadayoshi Kohno, John Viega, Doug Whiting - 2004
Hack-a-Vote: Demonstrating . . . – Jonathan Bannet, Justin Singer, David W. Price, Dan S. Wallach, Algis Rudys
198 Modeling and Simulation of a Robust e-Voting System Modeling and Simulation of a Robust e-Voting System – Omar Al-jarrah, Associate Professor, Computer Eng, Laith Barakat
1 Analysis of the WinZip encryption method – Tadayoshi Kohno - 2004
Probable plaintext cryptanalysis of . . . – Steven M. Bellovin - 1997
28 Probable Plaintext Cryptanalysis of the IP Security Protocols – Steven M. Bellovin - 1997
10 Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR.”In – Kenneth G. Paterson, Gaven J. Watson - 2010
266 Analysis of key-exchange protocols and their use for building secure channels – Ran Canetti, Hugo Krawczyk - 2001
27 A provable-security treatment of the key-wrap problem – Phillip Rogaway, Thomas Shrimpton - 2006
10 Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol – Kenneth G. Paterson, Thomas Ristenpart, Thomas Shrimpton
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
22 Authenticated encryption in SSH: Provably fixing the SSH Binary Packet Protocol. Cryptology ePrint Archive, Report 2002/078 – Mihir Bellare, Tadayoshi Kohno, Chanathip Namprempre - 2002
2 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
10 Vulnerability of SSL to Chosen-Plaintext Attack – Gregory V. Bard - 2004