Homepage for Ketil Stølen
Current positions
Qualifications
Experiences
Contributions
Supervision
Projects under my management
Ongoing
-
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-2014: 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
Past
-
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
Current conference and workshop involvements
-
FM'14 - 19th International Symposium on Formal Methods. Singapore, May 12-16, 2014.
-
ESSOS'14 - International Symposium on Engineering Secure Software and Systems.
Munich, Germany, February 26-28, 2014.
-
MODELS'13 - 16th International Conference on Model Driven Engineering Languages & Systems.
Miami, Florida, USA, September 29 to October 4, 2013.
-
PriSecCSN'13 - 2nd International Symposium on Privacy and Security in Cloud and Social Networks, Karlsruhe, Germany, September 30, 2013.
-
CRITIS'13 - 8th International Conference on Critical (Information) Infrastructure Security. Amsterdam, The Netherlands, September 16-18, 2013.
-
QASA'13 - 2nd International Workshop in Quantitative Aspects in Security Assurance
affiliated with ESORICS'13, Royal Holloway, University of London, September 9-13, 2013.
-
SERA'13 – 11th International Conference on Software Engineering Research, Management and
Applications. Prague, Czech Republic, August 7-9, 2013.
-
WOSIS'13 - 10th Workshop on Security in Information Systems to be held in conjunction with ICEIS'2013. Angers, France, July 3-7, 2013.
-
WOSSAP'13 - International Workshop on Service Security and Assurance Perspectives. Santa Clara Marriott, USA, June 27-July 2, 2013.
-
IFIPTM'13 – 7th International Conference on Trust Management. Málaga, Spain, June 3-7, 2013.
Teaching
-
Unassailable IT Systems (INF5150 – INF9150)
Advanced course at the Department of Informatics, University of Oslo (joint with Øystein Haugen)
Next time: Fall 2013
-
Research Methodology
SINTEF internal course (joint with Mariann Sandsund)
Next time: Fall 2013
Miscellaneous
Created: January 1, 1999. Last updated: May 27, 2013.
