Publication A Calculus for Cryptographic Protocols: The Spi Calculus Martı́n Abadi, Andy Gordon Proceedings of the 4th ACM Conference on Computer and Communications Security | April 1997 ISBN: 0-89791-912-2
Publication Fast software exponentiation in GF(2k) C.K. Koc, Tolga Acar 1997 Symposium on Computer Arithmetic | March 1997
Publication SDSI – A Simple Distributed Security Infrastructure Butler Lampson, Ronald L. Rivest October 1996
Publication Receipt-Free Secret-Ballot Elections Dwight Tuinstra, Josh Benaloh STOC ’94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
Publication Improving Privacy in Cryptographic Elections Josh Benaloh MSR-TR-1994-3 | April 1994 Published by Microsoft
Publication Uncoercible Communication Dwight Tuinstra, Josh Benaloh MSR-TR-1994-4 | February 1994 Published by Microsoft
Publication One-Way Accumulators: A Decentralized Alternative to Digital Signatures Josh Benaloh, Michael de Mare Eurocrypt 93 | May 1993
Publication Pricing via processing or combatting junk mail Cynthia Dwork, Moni Naor CRYPTO ’92: Proceedings of the 12th Annual International Cryptology Conference on Advances in Cryptology | August 1992
Publication Efficient Broadcast Time-Stamping Josh Benaloh, Michael de Mare MSR-TR-1991-2 | April 1991 Published by Microsoft
