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
