Christian Johansen

Image of Christian Johansen
Norwegian version of this page
Phone +47-22850481
Room 9466
Available hours Tel: 28850481
Visiting address Ole-johan Dahl hus Gaustadaleen 23B Oslo.
Postal address Postboks 70 2027 KJELLER

50% position at ITS.

My research focus

"Privacy and Access Control through Verifiable Security"

Short bio:

I am working as a researcher in the Precise Modelling and Analysis group of the University of Oslo (UiO) and I am member of the ConSeRNS interdisciplinary group "Concurrent Security and Resilience for Networked Systems”.
I finished my doctoral studies in 2010 at UiO and I have been working for UiO since. I have been involved in teaching and supervisory activities, in reviewing for international conferences and journals, in the organisation of conferences and workshops, and in writing of project proposals submitted to highly competitive calls, s.a.: EU-FP7-FET-Young-Explorers, Horison-2020, NFR-FRINATEK, UK’s EPSRC.

I have worked in different areas of computer science, including modelling of security protocols; (object-oriented) programming languages and their formal semantics; modelling languages and verification of networked systems; models and tools for parallel programming and concurrent systems; algebras and logics as used in computer science; timed process calculi for distributed and mobile communicating systems; (legal) electronic contracts. My work, more than 15 international articles, has been published in highly ranked conferences s.a. CONCUR, ATVA, or LFCS, and top journals s.a. JLAP.

Application areas

Some areas where my work applies are:

  • security and privacy for Energy informatics and Smart grid (see the IoTSec project)
  • models and programming for Internet of Things (see Models4IoT)
  • concurrency models and parallel programming (together with ITU Copenhagen)
  • security through hardware, like TPM or the new Intel SGX (together with Bristol and Bergen Uni.)
  • security ceremonies and the role of the human and UI in security (together with Audun Jøsang)
  • verification of safety critical systems (see also the course on Model-checking)
  • automation for complex critical designs (see also the work on Railway designs in RailCons project)
  • automated parsing and validation of contracts (with application to Privacy through Terms of Services) in collaboration with Chalmers Uni.
  • formal specifications of distributed and communicating systems
Tags: security, privacy, concurrency models, formal methods, safety verification, automated tools, logic in computer science, process algebras, semantics of programming languages, security ceremonies, access control


View all works in Cristin

  • Kruegel, Christopher; Myers, Andrew; Halevi, Shai & Johansen, Christian (2016). Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM).  ISBN 978-1-4503-4139-4.  1892 s.

View all works in Cristin

  • Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian & Schneider, Gerardo (2017). Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Full text in Research Archive
  • Pedersen, Tore; Johansen, Christian & Jøsang, Audun (2017). Intelligence Analysis: Reflections on the Future Human - Machine Analytic Enterprise from a Behavioral Computer Science Perspective.
  • Johansen, Christian; Jøsang, Audun & Migdal, Denis (2016). Offpad: Offline personal authenticating device: implementations and applications.
  • Johansen, Christian; Jøsang, Audun & Migdal, Denis (2016). Usable Authentication with an Offline Trusted Device Proxy Architecture (long version).
  • Johansen, Christian; Norman, Håkon & Hildebrandt, Thomas (2016). Non-interleaving Operational Semantics for the Pi-calculus -- technicalities. Full text in Research Archive
  • Johansen, Christian; Pedersen, Tore & Jøsang, Audun (2016). Reflections on Behavioural Computer Science. Full text in Research Archive
  • Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin (2016). Rule-Based Consistency Checking of Railway Infrastructure Designs. Full text in Research Archive
  • Migdal, Denis; Johansen, Christian & Jøsang, Audun (2016). DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking, In Christopher Kruegel; Andrew Myers; Shai Halevi (ed.),  Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-4139-4.  chapter.  s 1847 - 1849
  • Prisacariu, Cristian (2012). The Glory of the Past and Geometrical Concurrency.
  • Prisacariu, Cristian (2010). A Dynamic Deontic Logic over Synchronous Actions.
  • Prisacariu, Cristian (2010). Modal Logic over Higher Dimensional Automata - technicalities .
  • Okika, Joseph; Owe, Olaf & Prisacariu, Cristian (2009). Operational Semantics for BPEL Complex Features in Rewriting Logic.
  • Prisacariu, Cristian (2009). Synchronous Kleene Algebra vs. Concurrent Kleene Algebra.
  • Prisacariu, Cristian (2008). Deontic modalities over synchronous actions - technicalities.
  • Prisacariu, Cristian (2008). Extending Kleene Algebra with Synchrony - technicalities.
  • Prisacariu, Cristian & Schneider, Gerardo (2008). A Logic for Reasoning about Legal Contracts -Semantics.
  • Prisacariu, Cristian; Schneider, Gerardo & Kyas, Marcel (2008). Run-time Monitoring of Electronic Contracts - theoretical results.
  • Pace, Gordon; Prisacariu, Cristian & Schneider, Gerardo (2007). Model checking contracts -a case study (long version).
  • Prisacariu, Cristian & Schneider, Gerardo (2007). An Algebraic Structure for the Action-Based Contract Language CL - theoretical results.
  • Prisacariu, Cristian & Schneider, Gerardo (2007). Towards a Formal Definition of Electronic Contracts.

View all works in Cristin

Published Mar. 24, 2011 10:06 AM - Last modified Sep. 19, 2017 1:42 PM