Christian JohansenView profile
Professor
Christian Johansen is a Professor in the Department of Information Security and Communication Technology at the Norwegian University of Science and Technology (NTNU), Faculty of Information Technology and Electrical Engineering. He leads the Systems Security group (S2G) and is affiliated with the Center for Cyber and Information Security (CCIS), the Norwegian Cyber Range, and the S2G Playground. Professor Johansen's research focuses on Security and Theoretical Computer Science, with emphasis on developing formal methods and tools for ensuring reliability of complex systems. His work spans security, safety, and concurrency properties in software systems, cyber-physical systems like Smart Grids, Internet of Things security, and modeling concurrency in multi-core and high-performance computing. Among his notable contributions are the Timed Distributed pi-calculus, ST-structures, Dynamic Structural Operational Semantics, Synchronous Kleene Algebra, and Higher Dimensional Modal Logic. His research interests include modeling of security protocols, programming language semantics, verification of distributed systems, concurrent systems modeling, and legal electronic contracts. His recent publications show a strong trend toward concurrency theory, security, and privacy, with significant contributions to pi-calculus variants, higher-dimensional automata, attribute-based encryption, and semantic access control frameworks. Many of his papers appear in top venues such as CONCUR, ATVA, FM, POST, CCS, JLAMP, IJCIP, FMSD, and LMCS. Professor Johansen actively mentors students and collaborators, having worked with Manish Shrestha on the LightSC Security Classification Method for Smart Grids and IoT, and with Bjørnar Luteberget on the SAT modulo Discrete Event Simulation method for railway capacity verification. He has secured funding from competitive sources including EU-FP7-FET-Young-Explorers, Horizon-2020, NFR-FRINATEK, UK's EPSRC, and ECSEL-JU. His work often bridges theoretical computer science with practical security applications in critical infrastructure domains.




