|
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
Director, Information Assurance Institute.
Professor-at-Large, University of Tromsø, Tromsø, Norway (1996--2009).
Chief Scientist, TRUST (NSF Science and Technology Center: Team for Research in Ubiquitous Secure Technologies) (March 2005--present).
Editorial:
ACM Computing Surveys, March 1995--present.
Distributed Computing, Springer-Verlag, October 1984--present, (Editor-in-chief, January 1989--August 2000).
High Integrity Systems, March 1993--December 1996.
IEEE Security and Privacy, November 2002--present (Associate Editor-in-Chief).
IEEE Transactions on Dependable and Secure Computing, March 2004--present.
Information Processing Letters, North-Holland Publishing Company, March 1987--March 2004.
Texts and Monographs in Computer Science, Springer-Verlag, January 1988--present, (Co-managing editor since October 1992).
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--present.
Member, Advisory Board, Department of Computer Science, University of Virginia, July 2005--July 2008.
Member, PCAST Technical Advisory Group on Networking and Information Technology, July 2006--present.
Member, Information Security and Privacy Advisory Board, Sept 2006--Sept 2010.
Member, Board of Directors, Computing Research Association, July 2007--June 2010)
Member, Computing Community Consortium Council (July 1, 2007--Jan 1, 2010)
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 now 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.
Industrial Activities
FAST ASA, Chief Scientist-Security and Reliability, March 2000-present.
cigital, Technical Advisory Board, Nov. 2000--present.
Microsoft, Co-chair, Trustworthy Computing Academic Advisory Board, Feb 2003--present
Packet General Networks, Technical Advisory Board, Feb. 2003--present
Fortify Software, Technical Advisory Board, Feb. 2004--present
Past Industrial Activities:
JavaSoft Security Advisory Committee, JavaSoft Inc., June 1997--March 2002.
eWebUniversity.com Board of Advisors, March 2000--March 2002.
deCode Genetics Security Advisory Board, February 2000--March 2002.
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.
Cloakware Corporation, Technical Advisory Council, October 2003--March 2004.
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--2009).
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.
|
