Revision as of 17:01, 9 November 2016

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

Presentations

1. Toktam Ramezani, A Secrecy-Preserving Language for Programming of Object-Oriented and Distributed Systems, at Nordic Workshop on Programming Theory 2016, 31 Oct-2 Nov, Aalborg, Denmark, joint work with Olaf Owe
2. Christian Johansen, "Non-interleaving operational semantics for late and early Pi-calculus", at Nordic Workshop on Programming Theory 2016, 31 Oct-2 Nov, Aalborg, Denmark, joint work with Hakon Normann and Thomas Hildebrandt
3. J. Noll, "Internet of Things (IoT), innovasjonsdriveren i fremtiden", LO IKT konferansen, Et samfunn i endring; The Internet of Things, 1Nov2016, Oslo
4. J. Noll, "Security and privacy-aware ecosystem for the Internet of Things in Smartgrids", Smartgrid conference, 13-14Sep2016, Fornebu, [1]
5. J. Noll, "Digitalisert hverdag - en stor utfordring?", Rotary Medlemsmøte, Nittedal, 1Sep2016
6. J. Noll, "Measurable Security and Privacy for the Internet of Things", Nemko's compliance & market access seminar, 13-15June2016, Oslo
7. O. Owe, "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems", iFM 2016, June 1-5, Iceland.
8. O. Owe, "A framework for reasoning about object-oriented concurrent systems", SINTEF seminar Dec 15 2015, Oslo
9. O. Owe, "Flooding Detection in Concurrent Object Systems", Nordic Workshop on Programming Theory 2015, 21-23 Oct., Iceland, joint work with Charlie McDowell.
10. O. Owe, "A Formal Framework Supporting Unrestricted Software Changes in Object-Oriented Concurrent Systems", Nordic Workshop on Programming Theory 2015, 21-23 Oct., Iceland, joint work with Jia-Chun Lin and Ingrid Yu.
11. H.Tuiskula, "IoTSec - Security in Internet-of-Things for Smart Grids", Poster in ACSAC Conference, Dec 2015, Los Angeles
12. J. Noll, "IoTSec - Security in IoT for Smart Grids", Norsk informasjonssikkerhetsforum (ISF), Møte, Nov 2015
13. J. Noll, "Sikkerhetsutfordringer i fremtidens Smartgrid", Partnerseminaret NCE Smart Energy Markets, Nov 2015
14. J. Noll, and D. Hirdes, "Nasjonalt senter for sikkerhet i SmartGrid", Resultater fra Arbeidsgruppe, Partnerseminaret NCE Smart Energy Markets, Nov 2015
15. J. Noll, "Measurable Security as Driver for the Internet of Things Ecosystem", e-Innovation Seminar, University of Montenegro, 4.-6.Nov2015
16. H. Abie, "IoTSec - Security in IoT for Smart Grids", AF Security Seminar, Oct 2015, Oslo

Dissemination publications

1. Interview "Knut Johansen" on future of Energy Companies

further reading Massedød i Strømbransjen (E24) (in Norwegian)

Scientific Publications

1. Sigurd Eskeland, "Compromise-protection of smart meters in the smart grid using co-dependent authentication", Workshop on Security, 28Nov-2Dec2016, Stockholm
2. 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.
3. S.Fayyad and J.Noll. "Components Interconnection Consideration In Multi Metrics Approach", CENTRIC 2015, pp 21-27, ISBN: 978-1-61208-440-4 (link to .pdf)
4. Ming-Chang Lee and Olaf Owe, Semantic Modeling of Smart Homes in the ABS Real-time modeling language. Research report 457, Dept. of Informatics, Univ. of Oslo, October 2016

Monographs published

Articles published in anthologies

1. 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

Articles published in scientific/scholary journals or series

1. 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)
2. I. Garitano, S. Fayyad, J. Noll, «Multi-Metrics Approach for Security, Privacy and Dependability in Embedded Systems», Wireless Pers. Commun. 81, pp 1359-1376 (2015)
3. 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. Transactions on Foundations for Mastering Change I , Springer, pp 130-156, 2016.
4. 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.

Journal (co-)editors and Scientific Events

1. Special issue on "Advances in Security and Privacy for Mobile Users in Intelligent Environments" of Mobile Information Systems. Habtamu Abie is co-editor

How to Acknowledge IoTSec in your Publications

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).

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}.

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}.

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}.

Other Achievements

Please add the latest at the top of the lists.

Dissemination measures for the general public

Popular science publications (articles/books, books/articles in the public debate, documents formally circulated for review, exhibitions, fiction, etc..)

New publication in the media (newspapers, radio, TV, etc..)

Dissemination measures for users

Reports, memoranda, articles, presentations held at meetings/conferences for project target groups (public sector, trade and industry, organisations)

Industry-oriented R&D results

New/improved methods/models/prototypes finalised

Introduction of new/improved methods/models/technology to enhance value creation

Companies outside the project which have introduced new/improved methods/models/techniques

Companies participating in the project that have introduced new/improved work processes/business models

Companies participating in the project that have introduced new/improved methods/technology

New business activity

New companies launched as a result of the project

New business areas in existing companies, resulting from the project

Commercial results to which the project has contributed

Licensing agreements signed (excluding software user licenses)

Patents registered (the same patent in different countries counts as 1 patent)

New/improved products finalised

New/improved processes finalised

New/improved services finalised