IoTSec:Publications

Security in IoT for Smart Grids
Home Research Security Centre Publications Student corner About

Presentations

1. J. Noll, "Security and privacy-aware ecosystem for the Internet of Things in Smartgrids", Smartgrid conference, 13-14Sep2016, Fornebu, [1]
2. J. Noll, "Measurable Security and Privacy for the Internet of Things", Nemko's compliance & market access seminar, 13-15June2016, Oslo
3. O. Owe, "A framework for reasoning about object-oriented concurrent systems", SINTEF seminar Dec 15 2015, Oslo
4. J. Noll, "IoTSec - Security in IoT for Smart Grids", Norsk informasjonssikkerhetsforum (ISF), Møte, Nov 2015
5. J. Noll, "Sikkerhetsutfordringer i fremtidens Smartgrid", Partnerseminaret NCE Smart Energy Markets, Nov 2015
6. J. Noll, and D. Hirdes, "Nasjonalt senter for sikkerhet i SmartGrid", Resultater fra Arbeidsgruppe, Partnerseminaret NCE Smart Energy Markets, Nov 2015
7. J. Noll, "Measurable Security as Driver for the Internet of Things Ecosystem", e-Innovation Seminar, University of Montenegro, 4.-6.Nov2015
8. H. Abie, "IoTSec - Security in IoT for Smart Grids", AF Security Seminar, Oct 2015, Oslo
9. H.Tuiskula, "IoTSec - Security in Internet-of-Things for Smart Grids", Poster in ACSAC Conference, Dec 2015, Los Angeles

Other publications

1. Interview "Knut Johansen" on future of Energy Companies
2. further reading Massedød i Strømbransjen (E24) (in Norwegian)

Scientific Publications

1. R. Bubel , F. Damiani, R. Haehnle, E.B. Johnsen, O. Owe, I. Schaefer, I.C. Yu: Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct. In Proof Repositories for Software Verification In-the-Large, LNCS Transactions on Foundations for Mastering Change (FOMAC) (27 pages), 2016, To appear.
2. Olaf Owe: Verifiable Programming of Object-Oriented and Distributed Systems. In Luigia Petre and Emil Sekerinski (eds.) From Action System to Distributed Systems: The Refinement Approach CRC Press Taylor & Francis, pp. 61–80, 2016
3. Olaf Owe: Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems, iFM'16 Iceland, in Lecture Notes in Computer Science 9681, Springer, pages 210-225, June 2016.
4. Aman, W.; Snekkenes, E. EDAS: An Evaluation Prototype for Autonomic Event-Driven Adaptive Security in the Internet of Things. Future Internet 2015, 7, 225-256.
5. J. Noll, I. Garitano, S. Fayyad, E. Åsberg, H. Abie, «Measurable Security, Privacy and Dependability in Smart Grids», Journal of Cyber Security, 3_4, (2015)
6. I. Garitano, S. Fayyad, J. Noll, «Multi-Metrics Approach for Security, Privacy and Dependability in Embedded Systems», Wireless Pers. Commun. 81, pp1359-1376 (2015)

Acknowledging IoTSec

Please us the following text to acknowledge any publication related to the IoTSec project (i.e., any publication that you want to appear in the listing above, and be considered in the IoTSec reporting).

Please put this acknowledgement text on the first page of the publication (if possible), i.e., use something like \thanks{} or \footnote{} attached to the Title of the publication or to the respective Author(s). Different publishers have different styles, and you have to comply with them, but it is great if you can find a way to have this acknowledgement there where the electronic clients would automatically find them (see how Springer or Elsevier online presentation of articles look like; there any footnote attached to the title or authors appears together with the abstract).

in Title

in LaTeX notation (adjust it for the publication software that you use)

This work was partially supported by the project \href{https://www.iotsec.no/}{IoTSec} -- Security in IoT for Smart Grids, with number 248113/O70 part of the \href{http://www.forskningsradet.no/prognett-iktpluss/Home_page/1254002053513}{IKTPLUSS} program funded by the \href{http://www.forskningsradet.no}{Norwegian Research Council}.

at Author

in LaTeX notation (adjust it for the publication software that you use)

This author was partially supported by the project \href{https://www.iotsec.no/}{IoTSec} -- Security in IoT for Smart Grids, with number 248113/O70 part of the \href{http://www.forskningsradet.no/prognett-iktpluss/Home_page/1254002053513}{IKTPLUSS} program funded by the \href{http://www.forskningsradet.no}{Norwegian Research Council}.

alternative (replace the word "second" as necessary); this alternative is better when read in isolation, as often on the web-pages.

The second author was partially supported by the project \href{https://www.iotsec.no/}{IoTSec} -- Security in IoT for Smart Grids, with number 248113/O70 part of the \href{http://www.forskningsradet.no/prognett-iktpluss/Home_page/1254002053513}{IKTPLUSS} program funded by the \href{http://www.forskningsradet.no}{Norwegian Research Council}.

Home Meetings & Action Items Smart Meter Standards Connectivity and Security Func. Deliverables Internal Wiki FAQ/Intro Secure/Confidential Info

Research Work IoTSec WP0 Management WP1 Semantic Systems WP2 Security Models WP3 System Analysis WP4 Operational Security Security Functionality

Related Projects SCOTT-Secure Wireless RESOLVD CPS lab@UiO GEMINI Centre on IoT MeasurEGrid Models4IoT

About us Collaborations Contact us Open Positions

Forms/Wiki Add User Add ActionItem Add PhoneConf Add Meeting Edit Footer edit About IoTSec