My
research is intended to support the construction of concurrent and
distributed systems for high-integrity and mission-critical
settings. Fault-tolerance and security are critical in such
settings.
Project
Web Sites
Language
Based Security
Containment
and Integrity for Mobile Code
Trustworthy
Services (COCA,
CODEX,
Proactive
Obfuscation)
Publications
Full
Publication List
Professional Activities
Professor-at-Large,
University of Tromsų, Tromsų,
Norway (1996--2015).
Chief Scientist, TRUST (NSF Science and Technology Center: Team
for Research in Ubiquitous Secure Technologies) (March 2005--present).
Editorial:
Distributed
Computing, Springer-Verlag, October 1984--present,
(Editor-in-chief, January 1989--August 2000).
IEEE
Security and Privacy, November 2002--present (Associate
Editor-in-Chief).
Texts
and Monographs in Computer Science, Springer-Verlag, January
1988--present, (Co-managing editor since October 1992).
Communications of the ACM, August 2010--present.
Past Editorial Activities:
ACM
Computing Surveys, March 1995--May 2003.
High
Integrity Systems, March 1993--December 1996.
IEEE Transactions on Dependable
and Secure Computing, March 2004--January 2009.
Information
Processing Letters, North-Holland Publishing Company, March
1987--March 2004.
Member, Board of
Directors, Computing Research
Association, July 2007--June 2016.
Member, Computing Community Consortium
Council, July 1, 2007--Jan 1, 2013.
Co-director,
CCC Leadership in
Science Policy Institute. Fall 2011.
Member, Board of Advisors,
Intel Science and Technology
Center for Secure Computing, University of California Berkeley.
December 2011--present .
Member,
Naval Studies Board, National Research Council, March 1, 2013
--December 31, 2015.
Program
Committee Memberships
Past Professional
Activities:
Chairman, Information
Systems Trustworthiness, Computer Science and Telecommunications
Board, National Research Council, National Academy of Sciences. This is
the study that produced Trust
in Cyberspace.
Chairman,
International Review of UK
Research in Computer Science, EPSRC/IEE, United Kingdom. Fall
2001.
Chairman,
Study on Robust Cyber Defense, DARPA IPTO, Fall 2001. The final
briefing slides are available.
Member,
ACM Advisory Committee on Security and Privacy, October
2001--November 2003.
Science Advisor, Board of Directors, Griffiss
Institute, Rome, New York. (January 2004 --April 2006; founding Chief
Scientist, January 2003-December 2003).
Member,
National Science Foundation CISE Advisory Committee, March
2002--March 2006.
Director,
Information Assurance Institute,
Feb 2000--June 30, 2008
Member,
National Research Council,
Computer
Science and Telecommunications Board, July 2002--June 2008.
Member,
Committee on Improving Cybersecurity Research,
Computer Science
Telecommunications Board, National Research Council, National
Academy of Sciences. June 2004--January 2007.
Member, Advisory Board,
Department of Computer Science, University of Virginia, July
2005--July 2009.
Member, PCAST Technical
Advisory Group on Networking and Information Technology, July
2006--January 2009.
Member,
Information Security and
Privacy Advisory Board, Sept
2006--Sept 2010.
Member, Defense Science
Board, January 1, 2010--December 31, 2012
Member, Computer Science
Council, Stony Brook University, Dec 2009--Dec 2012
Industrial Activities
Microsoft,
Co-chair,
Trustworthy
Computing Academic Advisory Board, Feb 2003--present.
Past
Industrial Activities:
JavaSoft
Security Advisory Committee, JavaSoft Inc., June 1997--March 2002.
eWebUniversity.com Board of Advisors, March
2000--March 2002.
FAST
ASA, Chief Scientist-Security and Reliability, March 2000-March 2008.
deCode
Genetics Security Advisory Board, February 2000--March 2002.
cigital, Technical Advisory Board, Nov.
2000--June 2004.
Intel
Corporation, Microprocessor Research Lab Advisory Board, August 2001--August
2004.
JXTA
Technical Advisory Council, Jan 2001--Match 2002.
IBM Corporation,
Autonomic
Computing Advisory Board, June 2001--May 2004.
Packet
General Networks, Technical Advisory Board, Feb. 2003--June 2007.
Cloakware
Corporation, Technical Advisory Council, October 2003--March 2004.
Fortify
Software, Technical Advisory Board, Feb. 2004--December 2010
Accuvant, Advisory Board. June 2011--March 2013.
Awards
IBM Faculty Development
Award (1983).
Fellow,
American Association for the Advancement of Science (1992).
Fellow,
Association for Computing Machinery (1995).
Fellow, Institute of
Electrical and Electronics Engineers (2008)
Professor-at-Large,
University of Tromsų, Tromsų, Norway (1996--2015).
Daniel
M. Lazar Excellence in Teaching Award (2000).
Doctor
of Science [honoris
causa],
University of NewCastle-upon-Tyne (2003). Read
the Public Orator's Statement.
ACM SIGOPS 2007 Hall
of Fame Award (2007) for "Implementing
fault-tolerant services using the state machine approach: A tutorial"
ACM Computing Surveys (December 1990), 299--319.
John Swanson '61 ME in
honor of his Mother, Dorothy G Swanson, Teaching Award (2010)
Member,
Norges Tekniske
Vitenskapsakademi (Norwegian Academy of Technological Sciences),
2010
Member,
National Academy of Engineering,
2011.
IEEE Emanuel R. Piore
Award, 2012.
|
