AllMyData.org, Tahoe-LAFS home page. http://allmydata.org/trac/tahoe.
Carl Ellison, “Ceremony Design and Analysis”. http://eprint.iacr.org/2007/399.pdf
Click Death Squad, “SSH MitM Downgrade”. http://sites.google.com/site/clickdeathsquad/Home/cds-ssh-mitmdowngrade
Niels Ferguson and Bruce Schneier, Practical Cryptography. http://www.amazon.com/Practical-Cryptography-Niels-Ferguson/dp/0471223573
J. H. Saltzer, D. P. Reed, D. D. Clark, “End-to-end Arguments in System Design”. http://web.mit.edu/Saltzer/www/publications/endtoend/endtoend.pdf
Tim Moors, “A Critical Review of ‘End-to-end Arguments in System Design’ ”. http://www.seas.upenn.edu/~farooq/tcom512/a-critical-review-of_e2e.pdf
Chris Okasaki, Purely Functional Data Structures. http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf
Sean Quinlan and Sean Dorward, “Venti: A New Approach to Archival Storage”. http://doc.cat-v.org/plan_9/4th_edition/papers/venti/
David Wagner and Bruce Schneier, “Analysis of the SSL 3.0 Protocol”. http://www.schneier.com/paper-ssl-revised.pdf
Zooko and Ian Grigg, “Secure Datagram Protocol #1”. http://www.webfunds.org/guide/sdp/sdp1.html
Zooko, “Human-Oriented Base-32 Encoding”. http://zooko.com/repos/z-base-32/base32/DESIGN