Difference between revisions of "Christian Johansen"
From its-wiki.no
Josef.Noll (Talk | contribs) m (Josef.Noll moved page Cristian Johansen to Christian Johansen) |
|||
| Line 6: | Line 6: | ||
|Email=cristi@ifi.uio.no | |Email=cristi@ifi.uio.no | ||
|Partner=UiO, | |Partner=UiO, | ||
| − | |Keywords=concurrency models, formal methods, security, safety verification, formal tools, privacy, logic in computer science, process algebras, semantics of programming languages, | + | |Keywords=concurrency models, formal methods, security, safety verification, formal tools, privacy, logic in computer science, process algebras, semantics of programming languages, verifiable security, |
}} | }} | ||
http://www.mn.uio.no/ifi/english/people/aca/cristi/ | http://www.mn.uio.no/ifi/english/people/aca/cristi/ | ||
Revision as of 10:56, 19 December 2015
| Wiki for ITS | ||||||
|---|---|---|---|---|---|---|
|
|
| First Name | Christian |
|---|---|
| Last Name | Johansen |
| Home Page | |
| LinkedIN: | |
| Company | UiO |
| about: | |
| 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 |
|---|
| Thumb | Title | Keywords | Date | Author/Project |
|---|---|---|---|---|
| [[File:|frameless|150px]] | BB24.I and BB26.F and BB26.G Click to Open Meeting |
S-ABAC, Measurable Security, Privacy | 28 September 2020 | SCOTT |
 |
Oslo Activities related to SCOTT Click to Open SWITS annual meeting of Swedish security groups |
SCOTT | 4 June 2019 | ' |
Finished projects, led by Christian Johansen:
Christian Johansen was member of projects:
| dealing with | supported by: | finished | |
|---|---|---|---|
| DiversIoT Factpage | DiversIoT | NFR | 1 April 2019 |
- SCOTT (dealing with Secure COnnected Trustable Things (ECSEL-IA 737422), supported by: NFR, JU ECSEL, finished: 30 September 2020)
- IoTSec (dealing with Security in IoT for Smart Grids, supported by: NFR, 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 Factpage (dealing with DiversIoT, supported by: NFR, finished: 1 April 2019)
- DiversIoT (dealing with DiversIoT - Diversification for Resilient and Trustworthy IoT-systems, finished: 31 December 2017)
For a list of all projects, see Projects
Christian Johansen is offering the following theses:
- Content Delivery Networks for InfoInternet Deployments (by: N.n., Supervisor(s): Christian Johansen)
- Privacy violation through improper handling of electronic waste (by: N.n., Supervisor(s): Josef Noll, Christian Johansen, Adam Szekeres)
- The human aspect in Smart grids (from Security and Privacy point of view) (by: N.n., Supervisor(s): Josef Noll, Christian Johansen)
- Semantic Modeling of a Smart Home Infrastructure (by: N.n., Supervisor(s): Josef Noll, Christian Johansen)
- Achieving Business Objectives through Smart Sensor Integration for Office Buildings (by: Dmitry Filosofov, Supervisor(s): Christian Johansen, Josef Noll, Delivered: 1 August 2018)
- Pervasive computing in smart electricity grid (by: Kaniz Fatema Tuly, Supervisor(s): Christian Johansen, Josef Noll, Trond Aalberg, Delivered: 15 September 2016)
Christian Johansen participated in Meeting(s):
- Final review and F2F Meeting (onThis property is a special property in this wiki. 28 September 2020)
- Final Review Graz Jun2020 (onThis property is a special property in this wiki. 28 September 2020)
- IoTSec Consortium ITS 2020 (onThis property is a special property in this wiki. 31 March 2020)
- Privacy Labelling Workshop, 12Mar2020, Oslo (onThis property is a special property in this wiki. 12 March 2020)
- SCOTT-NO meeting Feb2020 (onThis property is a special property in this wiki. 4 February 2020)
- SCOTT-NO meeting Jan2020 (onThis property is a special property in this wiki. 17 January 2020)
- SCOTT-NO meeting Nov2019 (onThis property is a special property in this wiki. 13 November 2019)
- Consortium Meeting Gjovik Oct 2019 (onThis property is a special property in this wiki. 24 October 2019)
- Energy Control in the home (onThis property is a special property in this wiki. 2 July 2019)
- Consortium f2f Gdansk 2019 (onThis property is a special property in this wiki. 4 June 2019)
- SWITS annual meeting of Swedish security groups (onThis property is a special property in this wiki. 3 June 2019)
- Consortium Meeting Halden Apr2019 (onThis property is a special property in this wiki. 23 April 2019)
- WP7-WP8 meeting Oslo Mar2019 (onThis property is a special property in this wiki. 19 March 2019)
- Smart Buildings - Interconnectivity Solution for Privacy and Security (onThis property is a special property in this wiki. 18 March 2019)
- SCOTT-NO Jan2019 (onThis property is a special property in this wiki. 14 January 2019)
- SCOTT-NO Dec2018 (onThis property is a special property in this wiki. 3 December 2018)
- Consortium Meeting Cork Oct2018 (onThis property is a special property in this wiki. 16 October 2018)
- Consortium Oct.2018 Oslo (onThis property is a special property in this wiki. 11 October 2018)
- SCOTT-NO Jun2018 (onThis property is a special property in this wiki. 7 June 2018)
- IoTSec Consortium f2f meeting summer (onThis property is a special property in this wiki. 6 June 2018)
- IoT workshop at SERI (onThis property is a special property in this wiki. 3 April 2018)
- IoTSec Consortium ITS 2018 (onThis property is a special property in this wiki. 6 March 2018)
- SCOTT-NO Jan 2018 (onThis property is a special property in this wiki. 31 January 2018)
- Tingenes internett og sikkerhet (onThis property is a special property in this wiki. 14 December 2017)
- SCOTT-UiO Dec2017 (onThis property is a special property in this wiki. 14 December 2017)
- ... further results
