Homepage for Ketil Stølen

Current Positions

• Chief scientist at SINTEF – leader of the Group for Quality and Security Technology at the Department for Cooperative and Trusted Systems
• Professor at the Department of Informatics at the University of Oslo

Qualifications

• PhD in computer science, Manchester University (1990)
• Cand Scient (comparable to MSc) in computer science, University of Oslo (1986)

Experiences

• Curriculum vitae

Achievements

• Bibliography
• CORAS (download the full CORAS tool)
• FOCUS method (the book; how to order the book; list of errata; further work)
• Rely/Guarantee

Supervision

• PhD: graduates
• PhD: currently active
• MSc: graduates
• MSc: currently active
• Available MSc topics

Projects under my Management

Ongoing

• 2007-2010: DIGIT (180052/S10)
  Funded by the Research Council of Norway under the VERDIKT
  Full title: Digital interoperability with trust
• 2005-2008: ENFORCE (164382/V30)
  Funded by the Research Council of Norway under the ICT SOS Research programme
  Full title: Tool supported methodology for the formalization, analysis and enforcement of policies within trust managment
• 2003-2008: SARDAS (15295/431)
  Funded by the Research Council of Norway under the Basic ICT Research programme
  Full title: Securing availability by robust design, assessment and specification

Past

• 2003-2007: SECURIS (152839/220)
  Funded by the Research Council of Norway as a Competence Project with User-Involvement
  Full title: Model-driven development and analysis of secure information systems
• 2002-2003: COBRA (152209/431)
  Funded by the Research Council of Norway under the Basic ICT Research programme
  Full title: Component-based security assessment
• 2001-2003: CORAS (IST-2000-25031)
  5th Framework EU project under the User-Friendly Information Society (IST) programme
  Full title: A platform for risk analysis of security critical systems

Editorial Boards

• Software and Systems Modeling, Springer

Current Conference and Workshop Involvements

• ATC'2008 – 5th International Conference on Autonomic and Trusted Computing, Oslo, Norway, June 23-25, 2008.
• IFIPTM'2008 – Joint iTrust and PST Conferences on Privacy, Trust Management and Security, Trondheim, Norway, June 16-20, 2008.
• FM'2008 – 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008.
• ICFEM'2007 – 9th International Conference on Formal Engineering Methods, Florida Atlantic University, Boca Raton, USA November 13-15, 2007.
• MOTHIS'2007 – 1st International Workshop on Model-Based Trustworthy Health Information Systems held in conjunction with MODELS 2007, Nashville, Tennessee, September 30 - October 5, 2007.
• STM'2007 – 3rd International Workshop on Security and Trust Management held in conjunction with ESORICS 2007, Dresden, Germany, September 26-27, 2007
• QoP'2007 – 3rd Workshop on Quality of Protection held in conjunction with CCS'2007. Alexandria VA, USA, October 29, 2007.
• IFIPTM'2007 – Joint iTrust and PST Conferences on Privacy, Trust Management and Security, Moncton, New Brunswick, Canada, July 30 - August 2, 2007.

Teaching

• Unassailable IT Systems (INF5150)
  Advanced course at the Department of Informatics, University of Oslo (joint with Øystein Haugen)
  Next time: Fall 2007
• Research Methodology
  SINTEF internal course (joint with Randi Eidsmo Reinertsen)
  Next time: Fall 2007

Further

• Contact information

Created: January 1, 1999. Last updated: July 12, 2007.