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

Contributions

• Books and monographs
• Scientific articles (most of which available in pdf)
• Technical reports (most of which available in pdf)
• Editorial work
• Public seminars (in Norwegian)
• CORAS

Supervision

• PhD: graduates (theses available in pdf)
• PhD: currently active
• MSc: graduates
• MSc: currently active
• University of Oslo: Feel free to contact me if you are looking for an interesting MSc-topic

Projects under my management

Ongoing

• 2008-2012: EMERGENCY (187799)
  Funded by the Research Council of Norway under the VERDIKT research programme
  Full title: Mobile decision support in emergency situations
• 2007-2010: DIGIT (180052/S10)
  Funded by the Research Council of Norway under the VERDIKT research programme
  Full title: Digital interoperability with trust

Past

• 2005-2009: 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
• 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

Recent conference and workshop involvements

• ESSoS'2010 – International Symposium on Engineering Secure Software and Systems, Pisa, Italy, February 03-04, 2010.
• IFIPTM'2010 – 4th IFIP WG 11.11 International Conference on Trust Management, Morioka, Iwate, Japan, June 14-18, 2010.
• FAST'2009 – 6th International Workshop on Formal Aspects in Security and Trust in conjunction with FM'2009.
• FM'2009 –16th FM Symposium and 2nd World Congress, Eindhoven, the Netherlands, October 30-November 7, 2009.
• MetriSec'2009 – International Workshop on Security Measurements and Metrics co-located with ESEM'2009, Lake Buena Vista, Florida, USA, October 14, 2009.

Teaching

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

Miscellaneous

• Contact information
• Citations according to Google Scholar

Created: January 1, 1999. Last updated: November 8, 2009.