Other

1971                Program co-chairman, 3rd ACM Symposium on Operating Systems Principles

1972-               Editorial board, Software—Practice and Experience (see [10]).

1972-1978       Chairman, steering committee for ARPA research in computer security.

1973                Program committee, 4th ACM Symposium on Operating Systems Principles.

1975                Program committee, 5th ACM Symposium on Operating Systems Principles.

1977                Program committee, 6th ACM Symposium on Operating Systems Principles.

1979                Program committee, 7th ACM Symposium on Operating Systems Principles.

1980                Program committee, ACM Workshop on Fundamentals of Distributed Computing.

1981                Program committee, 8th ACM Symposium on Operating Systems Principles.

1982-1985       Associate editor, ACM Transactions on Computer Systems.

1984                Invited speaker, CRAI Conference on Advanced Personal Computing Technology, Capri.

1984                Program committee, International Symposium on Data Types.

1985                Invited speaker, 3rd ACM Conference on Principles of Distributed Computing (see [36]).

1985-1989       Editorial board, Annual Review of Computer Science.

1986                Program committee, 4th ACM Conference on Principles of Distributed Computing.

1988                Invited lecturer, Summer School on Program Construction, Marktoberdorf (see [40]).

1988                Program committee, 13th ACM Conference on Principles of Programming Languages.

1989-1990       System Security Study Committee, Computer Science and Telecommunications Board, National Academy of Sciences (see [43]).

1989-1995       Visiting committee, Division of Applied Science, Harvard University.

1990-1993       Lecturer, Advanced Course in Distributed Systems, Bologna, Karuizawa, Lisbon, Seattle (see [47]).

1991-               Distinguished Lecturer at MIT, University of Utah, University of Illinois, University of Texas, UCLA, USC, Carnegie-Mellon, Oxford, Edinburgh

1991                Keynote speaker, 12th International Conference on Software Engineering, Austin, TX.

1992                Invited lecturer, 25th Newcastle Symposium on the Teaching of Computer Science, Newcastle-upon-Tyne, UK.

1992                Keynote speaker, 5th ACM Symposium on Architectural Support for Programming Languages and Operating Systems, Boston, MA.

1993                Program committee, 14th ACM Symposium on Operating System Principles.

1994                Invited speaker, Conference on Programming Languages and System Architectures, Zürich (see [54]).

1994-1995       High Performance Computing and Communications Initiative study committee, Computer Science and Telecommunications Board, National Academy of Sciences (see [55]).

1996                Invited speaker, DIMACS workshop on network security, New Jersey.

1996                Invited speaker, NSF workshop on research directions in computer systems, St. Louis.

1996                Invited speaker, 10th International Workshop on Distributed Algorithms (WDAG), Bologna (see [57]).

1996-1999       Information Science and Technology (ISAT) committee, DARPA.

1997-8             Command, Control, Communications, Computing, and Intelligence study committee, Computer Science and Telecommunications Board, National Academy of Science (see [63]).

1997                Invited speaker, Microsoft/University of Washington Conference on Computing Research and Windows NT, Seattle.

1999                Keynote speaker, 17th ACM Symposium on Operating Systems Principles

1999                Keynote speaker, 21st International Conference on Software Engineering

2000                Program committee, Usenix Conference on Operating Systems Design and Implementation

2000                Keynote speaker, 9th ACM Symposium on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA

2000                Invited speaker, Annual Computer Security Applications Conference, New Orleans, LA

2001                Program committee, 18th ACM Symposium on Operating Systems Principles

2001                Invited speaker, 19th ACM Conference on Principles of Distributed Systems, Newport, RI

2002                Keynote speaker, FORTE 2002 (International Conference on Formal Techniques for Networked and Distributed Systems), Houston, TX

2002-5             Information Science and Technology (ISAT) committee, DARPA, red team.

2003                Keynote speaker, 21st ACM Conference on Principles of Distributed Computing, Boston, MA

2003-4             Future of Supercomputing study committee, Computer Science and Telecommunications Board, National Academy of Sciences.

2004                Program committee, First Symposium on Networked Systems Design and Implementation, San Francisco.

2005                Invited lecturer, TCS Excellence in Computer Science  Week, Pune, India.

2005                Program committee, Tenth Workshop on Hot Topics in Operating Systems, Santa Fe.

2005                Invited talk, 14th Usenix Security Symposium, Baltimore.

2005                Invited talk, NSF Cyber Trust Principal Investigators Meeting, Newport Beach, CA.

2006                Invited talk, Usenix annual meeting, Boston, MA

2006                Invited lecturer, summer school on Software System Reliability and Security, Marktoberdorf

2008                Invited lecturer, Nobel Winners Beijing Forum, Beijing, China.

2009                Invited talk, Usability, Security and Privacy Workshop, Computer Science and Telecommunications Board, Washington, DC.

2011                Invited talk, Usable Security through Isolation, Collège de France, Paris.

2012                Invited talk, Embodiment: The Third Great Wave of Computing Applications, ACM Turing Centenary Celebration, San Francisco.

2012                Invited talk, Retroactive Security, Computer Security Foundations Symposium, Cambridge, MA.

2013                End of RSA Workshop, DARPA ISAT, Menlo Park, CA.

2015                Program committee, 20th Workshop on Hot Topics in Operating Systems, Ittingen, Switzerland.

2015-               National Academies Forum on Cyber Resilience

2015                Invited talk, Perspectives on Security, 25th Symposium on Operating Systems Principles History Day, Monterey, CA.

2020-1             Future of Encryption study committee, National Academies.