Homepage for Ketil Stølen

https://orcid.org/0000-0001-2345-6789

Positions

• 2022–         Lecturer, Writer and Advisor — Stølen Rådgiving og Undervisning, Norway
• 1999–2023 Chief Scientist and Group Leader — SINTEF Digital, Norway
• 1998–         Adjunct Professor in Computer Science — University of Oslo, Norway
• 1996–1999 Research Scientist at the OECD Halden Reactor Project — Institute for Energy Technology, Norway
• 1991–1996 Research Associate — Munich University of Technology, Germany
• 1990–1991 Postdoctoral Fellow funded by the Wolfson Foundation — University of Manchester, UK
• 1987–1990 PhD Fellow (personal fellowship) — University of Manchester, UK
• 1986–1987 Research Assistant (military service) — Norwegian Defence Research Establishment, Norway


• Elected member of Norges Tekniske Vitenskapsakademi

Qualifications

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

Contributions

Book on Technology Science (Springer 2023)
How to order

Book on Technology Science (Universitetsforlaget 2019)
In Norwegian
How to order
Errata

Book on Cyber-Risk Management (Springer 2015)
How to order
Flyer
Book on CORAS (Springer 2011)
How to order
Flyer
Book on FOCUS (Springer 2001)
How to order
Flyer
Errata
PhD thesis (University of Manchester 1990)
Read it
Errata
• Scientific publications (most of which available in pdf)
• CORAS Guided Tour
• The new CORAS tool (released 2022)
• STAIRS publications
• Technical reports (most of which available in pdf)
• Public seminars (in Norwegian)
• Interviews and media contributions (in Norwegian)
• Editorial work

Supervision

• PhD: graduates (theses available in pdf)
• PhD: currently active
• MSc: graduates
• MSc: currently active

Project management

• 2023-2024: Leader of Network for Cybersecurity and Innovation on behalf of Østfold University College
  Funded by Viken County Municipality
  
• 2018-2023: Leader of Gemini Centre on Internet of Things
  Linking and harmonizing research activities on IoT at NTNU, UiO and SINTEF
  
• 2014-2018: Project Leader of AGRA (236657)
  Funded by the Research Council of Norway under the BIA research programme
  Full title: Aggregated risk assessment and management
• 2012-2015: Technical Coordinator of RASEN (316853)
  7th Framework EU project under the User-Friendly Information Society (IST) programme
  Full title: Compositional risk assessment and security testing of networked systems
• 2010-2015: Project Leader of 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: Project Leader of 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: Project Leader of DIGIT (180052/S10)
  Funded by the Research Council of Norway under the VERDIKT research programme
  Full title: Digital interoperability with trust
• 2005-2009: Project Leader of 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: Project Leader of COMA (160317/V30)
  Funded by the Research Council of Norway
  Full title: Component-oriented model-based security-analysis
• 2003-2008: Project Leader of 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: Project Leader of 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: Project Leader of COBRA (152209/431)
  Funded by the Research Council of Norway under the Basic ICT Research programme
  Full title: Component-based security assessment
• 2001-2003: Technical Coordinator of 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'23 – 18th International Conference on Risks and Security of Internet and Systems. Rabat, Morocco, December 6-8, 2023.
• SecAssure'23 – 2nd International Workshop on System Security Assurance. Co-located with ESORICS'23, The Hague, The Netherlands, September 25-29, 2023.
• ICSOFT'23 – 18th International Conference on Software Technologies. Rome, Italy, July 10-12, 2023.

Teaching

• Danish Technical University, DTU Compute – MSc-course: Risk management (5 ECTS) – 2 iterations
• Danish Technical University, DTU Compute – Executive course: Cybersecurity for board members, executives, and managers – 1 iteration
• SINTEF School – Research method – 29 iterations
• University of Oslo, Department of Informatics – MSc-course: Unassailable IT systems (10 ECTS) – 25 iterations
• University of Oslo, Department of Informatics – MSc-course: System development and tools based on formal methods (10 ECTS) – 2 iterations
• University of Oslo, Department of Media and Communication – PhD-course: Methods (3 ECTS) – 1 iteration

Miscellaneous

• Contact information
• Follow me at Linked-in
• Follow me at Research-gate
• My entry in the Mathematics Genealogy Project
• Citations according to Google Scholar