Homepage for Ketil St๘len

Current positions

• Chief Scientist at SINTEF – leader of the Group for Quality and Security Technology at the Department for Networked Systems and Services
• Professor at the Department of Informatics at the University of Oslo

Qualifications

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

Experiences

• Curriculum vitae

Contributions

• Book on CORAS (Springer 2011); flyer; how to order
• Book on FOCUS (Springer 2001); list of errata; how to order
• Scientific articles (most of which available in pdf)
• Technical reports (most of which available in pdf)
• Editorial work
• Monographs
• Public seminars (in Norwegian)
• CORAS

Supervision

• PhD: graduates (theses available in pdf)
• PhD: currently active
• MSc: graduates
• MSc: currently active
• University of Oslo: Contact me if you are looking for an interesting MSc-project in collaboration with SINTEF

Projects under my management

Ongoing

• 2010-2014: DIAMONDS (201579/S10)
  Funded by the Research Council of Norway under the VERDIKT research programme
  Full title: Effort-dependent technologies for multi-domain risk-based security testing
• 2008-2012: EMERGENCY (187799/S10)
  Funded by the Research Council of Norway under the VERDIKT research programme
  Full title: Mobile decision support in emergency situations
• 2007-2012: 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
• 2004-2008: COMA (160317/V30)
  Funded by the Research Council of Norway
  Full title: Component-oriented model-based security-analysis
• 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

Current conference and workshop involvements

• CRISIS'12 – 7th International Conference on Risks and Security of Internet and Systems, Cork, Irland, October 10-12, 2012.
• MetriSec'12 – 8th International Workshop on Security Measurements and Metrics, Lund, Sweden, September 21, 2012.
• CRITIS'12 – 7th International Conference on Critical Infrastructure Security, Lillehammer, Norway, September 17-18, 2012.
• BusTech'12 – 2nd International Conference on Business Intelligence and Technology, Nice, France, July 22-27, 2012.
• WOSIS'12 – International Workshop on Security in Information Systems, Wroclaw, Poland, June 28 – July 1, 2012.
• FMOODS & FORTE'12 – IFIP International Conference on Formal Techniques for Distributed Systems – Joint international conference, Stockholm, Sweden, June 13-16, 2012.
• IFIPTM'12 – 6th IFIP WG 11.11 International Conference on Trust Management, Surat, India, May 21-25, 2012.
• NTMS'12 – 5th IFIP International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, May 7-12, 2012.

Teaching

• Unassailable IT Systems (INF5150 – INF9150)
  Advanced course at the Department of Informatics, University of Oslo (joint with ุystein Haugen)
  Next time: Fall 2012
• Research Methodology
  SINTEF internal course (joint with Mariann Sandsund)
  Next time: Spring 2012

Miscellaneous

• Contact information
• Citations according to Google Scholar