Christian Johansen

User Christian Johansen

First Name	Christian
Last Name	Johansen
Home Page
Company	UiO, NTNU
about:	Professor at NTNU, previously researcher at UiO
involved in Projects
Keywords	concurrency models, formal methods, security, safety verification, formal tools, privacy, logic in computer science, process algebras, semantics of programming languages, verifiable security

Major Keywords from activities
Concurrency models DigI:DigI Formal methods Formal tools IoTSec:Factpage Logic in computer science Privacy Process algebras Safety verification Security Semantics of programming languages Verifiable security

[edit]

Thumb	Title	Keywords	Date	Author/Project
[[File:\|frameless\|150px]]	BB24.I and BB26.F and BB26.G Click to Open Meeting	Privacy, S-ABAC, Measurable Security	28 September 2020	SCOTT

[edit]

Christian Johansen was member of projects:

IoTSec (dealing with: Security in IoT for Smart Grids, supported by:: NFR, finished:: 30 September 2020)
SCOTT (dealing with: Secure COnnected Trustable Things (ECSEL-IA 737422), supported by:: NFR, JU ECSEL, finished:: 30 September 2020)
PhD DSO Security (dealing with: Measurable Security for DSO services on the Smart Grid, supported by:: NFR, finished:: 30 June 2019)
DiversIoT (dealing with: DiversIoT - Diversification for Resilient and Trustworthy IoT-systems, supported by:: NFR, finished:: 31 December 2017)

For a list of all projects, see Projects

[edit]

Christian Johansen has previously been supervisor for:

Achieving Business Objectives through Smart Sensor Integration for Office Buildings (by:: Dmitry Filosofov, Supervisor(s):: Josef Noll, Christian Johansen, Delivered:: 1 August 2018)
Pervasive computing in smart electricity grid (by:: Kaniz Fatema Tuly, Supervisor(s):: Josef Noll, Christian Johansen, Trond Aalberg, Delivered:: 15 September 2016)

[edit]

Christian Johansen participated in Meeting(s):

SCOTT:Final Review Graz Jun2020 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 28 September 2020)
SCOTT:Final review and F2F Meeting (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 28 September 2020)
IoTSec:IoTSec Consortium ITS 2020 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 31 March 2020)
Privacy Labelling Workshop, 12Mar2020, Oslo (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 12 March 2020)
SCOTT:SCOTT-NO meeting Feb2020 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 4 February 2020)
SCOTT:SCOTT-NO meeting Jan2020 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 17 January 2020)
SCOTT:SCOTT-NO meeting Nov2019 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 13 November 2019)
IoTSec:Consortium Meeting Gjovik Oct 2019 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 24 October 2019)
Energy Control in the home (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 2 July 2019)
SCOTT:Consortium f2f Gdansk 2019 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 4 June 2019)
SCOTT:SWITS annual meeting of Swedish security groups (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 3 June 2019)
IoTSec:Consortium Meeting Halden Apr2019 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 23 April 2019)
SCOTT:WP7-WP8 meeting Oslo Mar2019 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 19 March 2019)
SCOTT:Smart Buildings - Interconnectivity Solution for Privacy and Security (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 18 March 2019)
SCOTT:SCOTT-NO Jan2019 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 14 January 2019)
SCOTT:SCOTT-NO Dec2018 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 3 December 2018)
SCOTT:Consortium Meeting Cork Oct2018 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 16 October 2018)
IoTSec:Consortium Oct.2018 Oslo (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 11 October 2018)
SCOTT:SCOTT-NO Jun2018 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 7 June 2018)
IoTSec:IoTSec Consortium f2f meeting summer (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 6 June 2018)
IoTSec:IoT workshop at SERI (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 3 April 2018)
IoTSec:IoTSec Consortium ITS 2018 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 6 March 2018)
SCOTT:SCOTT-NO Jan 2018 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 31 January 2018)
SCOTT:SCOTT-UiO Dec2017 (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 14 December 2017)
DiversIoT:Tingenes internett og sikkerhet (on"Date" is a type and predefined property provided by Semantic MediaWiki to represent date values.: 14 December 2017)

... further results

About

http://www.mn.uio.no/ifi/english/people/aca/cristi/