Publication A Distributed Systems Architecture for the 1990’s Andrew Birrell, Butler Lampson, Mike Schroeder | December 1989 Published by Digital Equipment Corp. Systems Research Center
Publication Generalized Secret Sharing and Monotone Functions Jerry Leichter, Josh Benaloh Crypto 88 | September 1988
Publication Verifiable Secret-Ballot Elections Josh Benaloh September 1987 PhD Thesis: Yale University | September 1987
Publication Secret Sharing Homomorphisms: Keeping Shares of a Secret Secret Josh Benaloh Crypto ’86 | January 1987
Publication Distributing the Power of a Government to Enhance the Privacy of Voters Josh Benaloh, Moti Yung Principles of Distributed Computing | August 1986
Publication Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols Josh Benaloh Crypto ’86 | August 1986
Publication A Global Authentication Service without Global Trust Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder IEEE Symposium on Security and Privacy | April 1986 Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy
Publication A Robust and Verifiable Cryptographically Secure Election Scheme Josh Benaloh, Michael J. Fischer Proceedings of 26th Symposium on Foundations of Computer Science | September 1985
Publication Engineering a security kernel for Multics Mike Schroeder Proceedings of the 5th ACM Symposium on Operating Systems Principles | October 1975