Navigation

  • Skip to Content
NTNU Home NTNU Home

ntnu.edu

  • Studies
    • Master's programmes in English
    • For exchange students
    • PhD opportunities
    • All programmes of study
    • Courses
    • Financing
    • Language requirements
    • Application process
    • Academic calendar
    • FAQ
  • Research and innovation
    • NTNU research
    • Research excellence
    • Strategic research areas
    • Innovation resources
    • PhD opportunities
  • Life and housing
    • Student in Trondheim
    • Student in Gjøvik
    • Student in Ålesund
    • For researchers
    • Life and housing
  • About NTNU
    • Contact us
    • Faculties and departments
    • Libraries
    • International researcher support
    • Vacancies
    • About NTNU
    • Maps
  1. Employees

Språkvelger

Norsk

Christian Johansen

Download press photo
Download press photo
Foto:

Christian Johansen

Professor
Department of Information Security and Communication Technology
Faculty of Information Technology and Electrical Engineering

christian.johansen@ntnu.no
+4773592196 Topasbygget, 503, Gjøvik, Teknologiveien 22
Homepage
About Research Publications Teaching

About

See my homepage https://christian.johansenresearch.info/

Do you want to be a Teaching Assistant (TA) this autumn semester in one of the courses IMT4123 or IIKG2001 ? Send me an e-mail!

I am head of the Systems Security group, which we just call S2G, and am part of the CCIS (Center for Cyber and Information Security), the Norwegian Cyber Range, and the S2G Playground.

I work in Security and Theoretical Computer Science focusing on developing and using formal methods and tools for ensuring reliability of complex systems, including properties regarding security, safety, and concurrency. Applications of such methods are numerous, e.g., verification of safety properties of software systems (like absence of certain bugs) or of cyber-physical systems like the Smart Grids, ensuring security of Internet of Things, or modelling the concurrency of modern multi-core or high-performance computing. Among methods or models that I have created I can list: the Timed Distributed pi-calculus, the ST-structures, the Dynamic Structural Operational Semantics, the Synchronous Kleene Algebra, or the Higher Dimensional Modal Logic. Together with my students I have worked on developing tools, e.g., together with Manish Shrestha we made the LightSC Security Classification Method for Smart Grids and IoT and the associated usable security tool with the same name; whereas together with Bjørnar Luteberget we made the SAT modulo Discrete Event Simulation method and tool applied to railway capacity verification. A nice and long collaboration with Tore Pedersen has taken me also into the realm of modelling of human behaviour, where some of my contributions are: proposing the Behavioural Computer Science agenda, where models of human behaviour are combined with CS models of system behaviour (execution); or the probabilistic modelling of humans in security ceremonies.

I have done research in different areas of computer science, including modelling of security protocols; (object-oriented) programming languages and their formal semantics; modelling languages and verification of distributed and 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 and privacy agreements (ToS -- Terms of Services). My work, more than 60 international articles, has been published in highly ranked conferences s.a. CONCUR, ATVA, LFCS, FM, POST, or CCS, and top journals s.a. JLAMP, IJCIP, FMSD, or LMCS. More recent works usually target concurrency, security, and privacy. I finished my doctoral studies in 2010 at University of Oslo and have been involved ever since in teaching and supervision, in reviewing for international conferences and journals, in the organisation of conferences and workshops, and in the coordination and writing of projects submitted to highly competitive calls, s.a.: EU-FP7-FET-Young-Explorers, Horison-2020, NFR-FRINATEK, UK’s EPSRC, ECSEL-JU.

 

Research

I have done research 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 and privacy agreements (ToS -- Terms of Services). My work, more than 45 international articles, has been published in highly ranked conferences s.a. CONCUR, ATVA, LFCS, FM, POST, or CCS, and top journals s.a. JLAMP, IJCIP, FMSD, or LMCS. More recent works usually target concurrency, security, and privacy. I finished my doctoral studies in 2010 at University of Oslo and have been involved ever since in teaching and supervision, in reviewing for international conferences and journals, in the organisation of conferences and workshops, and in the coordination and writing of projects submitted to highly competitive calls, s.a.: EU-FP7-FET-Young-Explorers, Horison-2020, NFR-FRINATEK, UK’s EPSRC, ECSEL-JU.

  • Systems Security Group (S2G)

Publications

  • Chronological
  • By category
  • See all publications in Cristin

2025

  • Szalkowski, Gabriel Andy; Windekilde, Iwona Maria; Johansen, Christian. (2025) Towards sustainable short-form video: Modelling solutions for social and environmental challenges. F1000 Research
    Academic article
  • Szalkowski, Gabriel Andy; Johansen, Christian. (2025) Evidence of diseconomies of scale in subscription-based video on demand services: The case of Netflix. IEEE Access
    Academic article

2024

  • Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A.C.. (2024) XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[Formula presented]. Science of Computer Programming
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2024) KLEENE THEOREM FOR HIGHER-DIMENSIONAL AUTOMATA. Logical Methods in Computer Science
    Academic article

2023

  • Arshad, Hamed; Picazo Sanchez, Pablo; Johansen, Christian; Schneider, Gerardo. (2023) Attribute-based encryption with enforceable obligations. Journal of Cryptographic Engineering (JCEN)
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2023) Catoids and modal convolution algebras. Algebra Universalis
    Academic article
  • Szalkowski, Gabriel Andy; Johansen, Christian. (2023) Defining and measuring the effects of digital technologies on social sustainability: A systematic literature review. Sustainable Development
    Academic literature review

2022

  • Aubert, Clement; Horne, Ross; Johansen, Christian. (2022) Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. Leibniz International Proceedings in Informatics
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2022) A Kleene Theorem for Higher-Dimensional Automata. Leibniz International Proceedings in Informatics
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2022) Domain Semirings United. Acta Cybernetica
    Academic article
  • Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo ; Schneider, Gerardo. (2022) Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Information Sciences
    Academic article
  • Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C.. (2022) Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. Springer
    Academic chapter/article/Conference paper
  • Arshad, Hamed; Johansen, Christian; Owe, Olaf. (2022) Semantic Attribute-Based Access Control: A review on current status and future perspectives. Journal of systems architecture
    Academic literature review
  • Aubert, Clement; Horne, Ross; Johansen, Christian. (2022) Bisimulations Respecting Duration and Causality for the Non-interleaving Applied Pi-Calculus. Electronic Proceedings in Theoretical Computer Science (EPTCS)
    Academic article
  • Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold. (2022) A multidisciplinary definition of privacy labels. Information and Computer Security
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2022) Posets with interfaces as a model for concurrency. Information and Computation
    Academic article

2021

  • Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe; Owe, Olaf; Noll, Josef; Johansen, Christian. (2021) Security and Privacy Solutions in IoT and Distributed Systems Design. Faculty of Mathematics and Natural Sciences, UiO
    Doctoral dissertation
  • Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin. (2021) SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design
    Academic article
  • Johansen, Johanna; Noll, Josef; Johansen, Christian. (2021) InfoInternet for education in the Global South: A study of applications enabled by free information-only internet access in technologically disadvantaged areas. African Journal of Science, Technology, Innovation and Development (AJSTID)
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof. (2021) Sculptures in concurrency. Logical Methods in Computer Science
    Academic article
  • Johansen, Johanna; Pedersen, Tore; Johansen, Christian. (2021) Studying human-to-computer bias transference. AI & Society: Knowledge, Culture and Communication
    Academic article
  • Luteberget, Bjørnar Steinnes; Johansen, Christian. (2021) Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects of Computing
    Academic article
  • Johansen, Christian; Aulon, Mujaj; Arshad, Hamed; Noll, Josef. (2021) The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications . Security and Communication Networks
    Academic literature review
  • Calk, Cameron; Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2021) lr-Multisemigroups, Modal Quantales and the Origin of Locality. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2021) Languages of higher-dimensional automata. Mathematical Structures in Computer Science
    Academic article

2020

  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur. (2020) Generating Posets Beyond N. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Shrestha, Manish; Johansen, Christian; Noll, Josef; Roverso, Davide. (2020) A Methodology for Security Classification applied to Smart Grid Infrastructures. International Journal of Critical Infrastructure Protection
    Academic article
  • Tokas, Shukun; Owe, Olaf; Johansen, Christian. (2020) Code Diversification Mechanisms for Internet of Things (Revised Version 2). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Noll, Josef. (2020) Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef. (2020) Tool Support for Security Classification for Internet of Things (long version). Universitetet i Oslo Universitetet i Oslo
    Report

2019

  • Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian. (2019) Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin. (2019) Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Johansen, Christian; Owe, Olaf. (2019) Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Shrestha, Manish; Johansen, Christian; Noll, Josef. (2019) Criteria for Security Classification of Smart Home Energy Management Systems (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Hildebrandt, Thomas; Johansen, Christian; Norman, Håkon. (2019) A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Pedersen, Tore; Johansen, Christian. (2019) Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI & Society: Knowledge, Culture and Communication
    Academic article
  • Johansen, Christian; Owe, Olaf. (2019) Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS)
    Academic article

2018

  • Pedersen, Tore; Johansen, Christian; Jøsang, Audun. (2018) Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Human-centric Computing and Information Sciences
    Academic article
  • Noll, Josef; Garitano, Iñaki; Johansen, Christian; Del Ser, Javier; Arenaza-Nuno, Ignacio. (2018) Perspectives in Secure SMART Environments. CRC Press
    Academic chapter/article/Conference paper

2017

  • Luteberget, Bjørnar Steinnes; Johansen, Christian. (2017) Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design
    Academic article
  • Tokas, Shukun; Owe, Olaf; Johansen, Christian. (2017) Code Diversification Mechanisms for Securing the Internet of Things.
    Academic chapter/article/Conference paper
  • Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei. (2017) Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Hildebrandt, Thomas; Johansen, Christian; Normann, Håkon. (2017) A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. (2017) Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef. (2017) Comparing Implementations of Secure Messaging Protocols (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Noll, Josef. (2017) Security Classification for Smart Grid Infra structures (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. (2017) Participatory verification of railway infrastructure by representing regulations in RailCNL. Lecture Notes in Computer Science (LNCS)
    Academic article

2016

  • Johansen, Christian; Jøsang, Audun; Migdal, Denis. (2016) Usable Authentication with an Offline Trusted Device Proxy Architecture (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Jøsang, Audun; Migdal, Denis. (2016) Offpad: Offline personal authenticating device: implementations and applications. Universitetet i Oslo Universitetet i Oslo
    Report
  • Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin. (2016) Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C; Steffen, Martin. (2016) Rule-based incremental verification tools applied to railway designs and regulations. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Johansen, Christian; Pedersen, Tore; Jøsang, Audun. (2016) Reflections on Behavioural Computer Science. Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas. (2016) Non-interleaving Operational Semantics for the Pi-calculus -- technicalities. Universitetet i Oslo Universitetet i Oslo
    Report
  • Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin. (2016) Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo Conference proceedings (Universitetet i Oslo. Institutt for informatikk) (450)
    Report
  • Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas. (2016) Declarative event based models of concurrency and refinement in psi-calculi. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Migdal, Denis; Johansen, Christian; Jøsang, Audun. (2016) DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. Association for Computing Machinery (ACM)
    Chapter
  • Johansen, Christian. (2016) ST-structures. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Johansen, Christian; Pedersen, Tore; Jøsang, Audun. (2016) Towards Behavioural Computer Science. IFIP Advances in Information and Communication Technology
    Academic article

2015

  • Taherkordi, Amirhosein; Johansen, Christian; Eliassen, Frank; Römer, Kay. (2015) Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. IEEE (Institute of Electrical and Electronics Engineers)
    Academic chapter/article/Conference paper
  • Johansen, Christian; Jøsang, Audun. (2015) Probabilistic Modeling of Humans in Security Ceremonies. Springer Publishing Company
    Academic chapter/article/Conference paper
  • Johansen, Christian; Jøsang, Audun. (2015) Probabilistic modelling of humans in security ceremonies. Lecture Notes in Computer Science (LNCS)
    Academic article

2014

  • Johansen, Christian. (2014) Actor network procedures as Psi-calculi for security ceremonies. Electronic Proceedings in Theoretical Computer Science (EPTCS)
    Academic article
  • Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas. (2014) Concurrency models with causality and events as psi-calculi. Electronic Proceedings in Theoretical Computer Science (EPTCS)
    Academic article

Journal publications

  • Szalkowski, Gabriel Andy; Windekilde, Iwona Maria; Johansen, Christian. (2025) Towards sustainable short-form video: Modelling solutions for social and environmental challenges. F1000 Research
    Academic article
  • Szalkowski, Gabriel Andy; Johansen, Christian. (2025) Evidence of diseconomies of scale in subscription-based video on demand services: The case of Netflix. IEEE Access
    Academic article
  • Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A.C.. (2024) XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[Formula presented]. Science of Computer Programming
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2024) KLEENE THEOREM FOR HIGHER-DIMENSIONAL AUTOMATA. Logical Methods in Computer Science
    Academic article
  • Arshad, Hamed; Picazo Sanchez, Pablo; Johansen, Christian; Schneider, Gerardo. (2023) Attribute-based encryption with enforceable obligations. Journal of Cryptographic Engineering (JCEN)
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2023) Catoids and modal convolution algebras. Algebra Universalis
    Academic article
  • Szalkowski, Gabriel Andy; Johansen, Christian. (2023) Defining and measuring the effects of digital technologies on social sustainability: A systematic literature review. Sustainable Development
    Academic literature review
  • Aubert, Clement; Horne, Ross; Johansen, Christian. (2022) Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. Leibniz International Proceedings in Informatics
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2022) A Kleene Theorem for Higher-Dimensional Automata. Leibniz International Proceedings in Informatics
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2022) Domain Semirings United. Acta Cybernetica
    Academic article
  • Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo ; Schneider, Gerardo. (2022) Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Information Sciences
    Academic article
  • Arshad, Hamed; Johansen, Christian; Owe, Olaf. (2022) Semantic Attribute-Based Access Control: A review on current status and future perspectives. Journal of systems architecture
    Academic literature review
  • Aubert, Clement; Horne, Ross; Johansen, Christian. (2022) Bisimulations Respecting Duration and Causality for the Non-interleaving Applied Pi-Calculus. Electronic Proceedings in Theoretical Computer Science (EPTCS)
    Academic article
  • Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold. (2022) A multidisciplinary definition of privacy labels. Information and Computer Security
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2022) Posets with interfaces as a model for concurrency. Information and Computation
    Academic article
  • Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin. (2021) SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design
    Academic article
  • Johansen, Johanna; Noll, Josef; Johansen, Christian. (2021) InfoInternet for education in the Global South: A study of applications enabled by free information-only internet access in technologically disadvantaged areas. African Journal of Science, Technology, Innovation and Development (AJSTID)
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof. (2021) Sculptures in concurrency. Logical Methods in Computer Science
    Academic article
  • Johansen, Johanna; Pedersen, Tore; Johansen, Christian. (2021) Studying human-to-computer bias transference. AI & Society: Knowledge, Culture and Communication
    Academic article
  • Luteberget, Bjørnar Steinnes; Johansen, Christian. (2021) Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects of Computing
    Academic article
  • Johansen, Christian; Aulon, Mujaj; Arshad, Hamed; Noll, Josef. (2021) The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications . Security and Communication Networks
    Academic literature review
  • Calk, Cameron; Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2021) lr-Multisemigroups, Modal Quantales and the Origin of Locality. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. (2021) Languages of higher-dimensional automata. Mathematical Structures in Computer Science
    Academic article
  • Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur. (2020) Generating Posets Beyond N. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Shrestha, Manish; Johansen, Christian; Noll, Josef; Roverso, Davide. (2020) A Methodology for Security Classification applied to Smart Grid Infrastructures. International Journal of Critical Infrastructure Protection
    Academic article
  • Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian. (2019) Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin. (2019) Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Johansen, Christian; Owe, Olaf. (2019) Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Hildebrandt, Thomas; Johansen, Christian; Norman, Håkon. (2019) A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Pedersen, Tore; Johansen, Christian. (2019) Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI & Society: Knowledge, Culture and Communication
    Academic article
  • Johansen, Christian; Owe, Olaf. (2019) Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Pedersen, Tore; Johansen, Christian; Jøsang, Audun. (2018) Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Human-centric Computing and Information Sciences
    Academic article
  • Luteberget, Bjørnar Steinnes; Johansen, Christian. (2017) Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design
    Academic article
  • Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei. (2017) Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Hildebrandt, Thomas; Johansen, Christian; Normann, Håkon. (2017) A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. (2017) Participatory verification of railway infrastructure by representing regulations in RailCNL. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin. (2016) Rule-based consistency checking of railway infrastructure designs. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C; Steffen, Martin. (2016) Rule-based incremental verification tools applied to railway designs and regulations. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas. (2016) Declarative event based models of concurrency and refinement in psi-calculi. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Johansen, Christian. (2016) ST-structures. Journal of Logical and Algebraic Methods in Programming
    Academic article
  • Johansen, Christian; Pedersen, Tore; Jøsang, Audun. (2016) Towards Behavioural Computer Science. IFIP Advances in Information and Communication Technology
    Academic article
  • Johansen, Christian; Jøsang, Audun. (2015) Probabilistic modelling of humans in security ceremonies. Lecture Notes in Computer Science (LNCS)
    Academic article
  • Johansen, Christian. (2014) Actor network procedures as Psi-calculi for security ceremonies. Electronic Proceedings in Theoretical Computer Science (EPTCS)
    Academic article
  • Normann, Håkon; Johansen, Christian; Hildebrandt, Thomas. (2014) Concurrency models with causality and events as psi-calculi. Electronic Proceedings in Theoretical Computer Science (EPTCS)
    Academic article

Part of book/report

  • Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C.. (2022) Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. Springer
    Academic chapter/article/Conference paper
  • Noll, Josef; Garitano, Iñaki; Johansen, Christian; Del Ser, Javier; Arenaza-Nuno, Ignacio. (2018) Perspectives in Secure SMART Environments. CRC Press
    Academic chapter/article/Conference paper
  • Tokas, Shukun; Owe, Olaf; Johansen, Christian. (2017) Code Diversification Mechanisms for Securing the Internet of Things.
    Academic chapter/article/Conference paper
  • Migdal, Denis; Johansen, Christian; Jøsang, Audun. (2016) DEMO: OffPAD - Offline Personal Authenticating Device with Applications in Hospitals and e-Banking. Association for Computing Machinery (ACM)
    Chapter
  • Taherkordi, Amirhosein; Johansen, Christian; Eliassen, Frank; Römer, Kay. (2015) Tokenit: Designing State-Driven Embedded Systems through Tokenized Transitions. IEEE (Institute of Electrical and Electronics Engineers)
    Academic chapter/article/Conference paper
  • Johansen, Christian; Jøsang, Audun. (2015) Probabilistic Modeling of Humans in Security Ceremonies. Springer Publishing Company
    Academic chapter/article/Conference paper

Report

  • Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe; Owe, Olaf; Noll, Josef; Johansen, Christian. (2021) Security and Privacy Solutions in IoT and Distributed Systems Design. Faculty of Mathematics and Natural Sciences, UiO
    Doctoral dissertation
  • Tokas, Shukun; Owe, Olaf; Johansen, Christian. (2020) Code Diversification Mechanisms for Internet of Things (Revised Version 2). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Noll, Josef. (2020) Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef. (2020) Tool Support for Security Classification for Internet of Things (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Noll, Josef. (2019) Criteria for Security Classification of Smart Home Energy Management Systems (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. (2017) Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef. (2017) Comparing Implementations of Secure Messaging Protocols (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Shrestha, Manish; Johansen, Christian; Noll, Josef. (2017) Security Classification for Smart Grid Infra structures (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Jøsang, Audun; Migdal, Denis. (2016) Usable Authentication with an Offline Trusted Device Proxy Architecture (long version). Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Jøsang, Audun; Migdal, Denis. (2016) Offpad: Offline personal authenticating device: implementations and applications. Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Pedersen, Tore; Jøsang, Audun. (2016) Reflections on Behavioural Computer Science. Universitetet i Oslo Universitetet i Oslo
    Report
  • Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas. (2016) Non-interleaving Operational Semantics for the Pi-calculus -- technicalities. Universitetet i Oslo Universitetet i Oslo
    Report
  • Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin. (2016) Rule-Based Consistency Checking of Railway Infrastructure Designs. Universitetet i Oslo Conference proceedings (Universitetet i Oslo. Institutt for informatikk) (450)
    Report

Teaching

Courses

  • IIKG2001 - Software Security
  • IMT4123 - System Security

Supervision

For MSc thesis topics, contact me directly before the start of the second year.

NTNU – Norwegian University of Science and Technology

  • For employees
  • |
  • For students
  • |
  • Intranet
  • |
  • Blackboard

Studies

  • Master's programmes in English
  • For exchange students
  • PhD opportunities
  • Courses
  • Career development
  • Continuing education
  • Application process

News

  • NTNU News
  • Vacancies

About NTNU

  • About the university
  • Libraries
  • NTNU's strategy
  • Research excellence
  • Strategic research areas
  • Organizational chart

Contact

  • Contact NTNU
  • Employees
  • Find experts
  • Press contacts
  • Researcher support
  • Maps

NTNU in three cities

  • NTNU in Gjøvik
  • NTNU in Trondheim
  • NTNU in Ålesund

About this website

  • Use of cookies
  • Accessibility statement
  • Privacy policy
  • Editorial responsibility
Facebook Instagram Linkedin Snapchat Tiktok Youtube
Sign In
NTNU logo