Difference between revisions of "IoTSec:Publications"

From its-wiki.no

Jump to: navigation, search
(Articles published in scientific/scholary journals or series)
m
Line 105: Line 105:
 
 
 
=== Articles published in scientific/scholary journals or series ===
 
=== Articles published in scientific/scholary journals or series ===
# Olaf Owe, Toktam Ramezani:  Confidentiality of Interactions in Concurrent Object-Oriented Systems.  12th International Workshop on Data Privacy Management (DPM 2017).  Lecture Notes in Computer Science 10436, pages 19-34, Springer, 2017. DOI: 10.1007/978-3-319-66845-1_17
+
 
 +
# Toktam Ramezanifarkani, Olaf Owe, Shukun Tokas: A Secrecy-Preserving Language for Distributed and Object-Oriented Systems. To in J. Log. Algebr. Meth. Program (JLAMP) Elsevier (31 pages) (2018) https://doi.org/10.1016/j.jlamp.2018.04.001
 +
# Olaf Owe, Toktam Ramezanifarkani:  Confidentiality of Interactions in Concurrent Object-Oriented Systems.  12th International Workshop on Data Privacy Management (DPM 2017).  Lecture Notes in Computer Science 10436, pages 19-34, Springer, 2017. DOI: 10.1007/978-3-319-66845-1_17
 
# Olaf Owe, Toktam Ramezani and Elahe Fazeldehkordi: Hoare-style Reasoning from Multiple Contracts. iFM'17 Torino, Italy, September, Lecture Notes in Computer Science 10510, pages 263-278, Springer, 2017. DOI: 10.1007/978-3-319-66845-1_17
 
# Olaf Owe, Toktam Ramezani and Elahe Fazeldehkordi: Hoare-style Reasoning from Multiple Contracts. iFM'17 Torino, Italy, September, Lecture Notes in Computer Science 10510, pages 263-278, Springer, 2017. DOI: 10.1007/978-3-319-66845-1_17
 
# Olaf Owe, Charlie McDowell: On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. Journal of Log. Algebr. Meth. Program. (JLAMP) Elsevier, Volume 90, pages 158–175, 2017. DOI: 10.1016/j.jlamp.2017.02.005 [https://authors.elsevier.com/a/1VCAF8MrKMFvjT,link]
 
# Olaf Owe, Charlie McDowell: On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. Journal of Log. Algebr. Meth. Program. (JLAMP) Elsevier, Volume 90, pages 158–175, 2017. DOI: 10.1016/j.jlamp.2017.02.005 [https://authors.elsevier.com/a/1VCAF8MrKMFvjT,link]

Revision as of 16:36, 5 May 2018

Security in IoT for Smart Grids
Home Research Security Centre Publications Student corner About
English-Language-icon.png

Presentations

  1. Olaf Owe. "A High-Level Language for Active Objects with Future-Free Support of Futures". 29th Nordic Workshop on Programming Theory.Turku, Finland, Nov. 1-3, 2017. (joint work with Toktam Ramezanifarkhani, Farzane Karami)
  2. Elahe Fazeldehkordi. "A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems", 29th Nordic Workshop on Programming Theory (NWPT 2017), 2017, Turku, Finland, November 1-3, 2017. (joint work with Toktam Ramezanifarkhani, Olaf Owe)
  3. Shukun Tokas. "Code Diversification Mechanisms for Securing the Internet of Things". 29th Nordic Workshop on Programming Theory. Turku, Finland, November 1-3, 2017. (joint work with Olaf Owe and Christian Johansen)
  4. T. Ramezanifarkhani, "Confidentiality of Interactions in Concurrent Object-Oriented Systems", 12th International Workshop on Data Privacy Management (DPM 2017), co-located with ESORICS 2017, Oslo, Norway, September 14-15, 2017. (joint work with Owe)
  5. H. Abie, "Measurable Adaptive Cyber-Physical Security for IoT Smart Grid", Keynote in MeSSa 2017 @ ECSA 2017 - 4th International Workshop on Measurability of Security in Software Architectures Co-located with The 11th European Conference on Software Architecture (ECSA 2017), 12-09-2017, Canterbury, United Kingdom
  6. M. Gebrie and H. Abie, "Risk-Based Adaptive Authentication For IOT in Smart Home eHealth", MeSSa 2017 @ ECSA 2017 - 4th International Workshop on Measurability of Security in Software Architectures Co-located with The 11th European Conference on Software Architecture (ECSA 2017), 12-09-2017, Canterbury, United Kingdom
  7. O. Owe, "Language-based security for Creol/ABS", First International Workshop on ABS, Oslo, May 31 - June 2., 2017.
  8. Josef Noll, "Smart energisektor - hvordan etablere og sikre tillit?", ESRA Seminar Fremtidens Avanserte Samfunn, http://esra.no/, 1Jun2017, Oslo.
  9. Josef Noll, "Measurable Security for the Autonomous Operation of Systems of Systems", MANTIS Industrial Workshop, 9May2017, Helsinki
  10. Josef Noll, "Hvordan ivareta sikkerhet rundt IoT enheter", Sårbarhet i kraftsektoren, Tekna Seminar, 27Apr2017, Gardermoen
  11. Seraj Fayyad, "A framework for Security measurability", ICICS 2017, 05 April 2017
  12. Otto Andreas Rustand, "Launching Smart Grid Security Centre", Smart Energy 2017, 14-15Feb2017, Halden
  13. Josef Noll, "Collaboration for a more secure Smart Grid operation", Smart Energy 2017, 14-15Feb2017, Halden
  14. Adam Szekeres, "Prediction of privacy violating behaviors within Smart Grids", Smart City Day, 1 Dec 2016, Oslo
  15. Josef Noll, "Security and Privacy in Energy", Lunchmeeting at Energi Norge, 18 Nov 2016, Oslo
  16. 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
  17. 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
  18. J. Noll, "Internet of Things (IoT), innovasjonsdriveren i fremtiden", LO IKT konferansen, Et samfunn i endring; The Internet of Things, 1Nov2016, Oslo
  19. J. Noll, "Security and privacy-aware ecosystem for the Internet of Things in Smartgrids", Smartgrid conference, 13-14Sep2016, Fornebu, [1]
  20. J. Noll, "Digitalisert hverdag - en stor utfordring?", Rotary Medlemsmøte, Nittedal, 1Sep2016
  21. J. Noll, "Measurable Security and Privacy for the Internet of Things", Nemko's compliance & market access seminar, 13-15June2016, Oslo
  22. O. Owe, "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems", iFM 2016, June 1-5, Iceland.
  23. O. Owe, "A framework for reasoning about object-oriented concurrent systems", SINTEF seminar Dec 15 2015, Oslo
  24. O. Owe, "Flooding Detection in Concurrent Object Systems", Nordic Workshop on Programming Theory 2015, 21-23 Oct., Iceland, joint work with Charlie McDowell.
  25. 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.
  26. H.Tuiskula, "IoTSec - Security in Internet-of-Things for Smart Grids", Poster in ACSAC Conference, Dec 2015, Los Angeles
  27. J. Noll, "IoTSec - Security in IoT for Smart Grids", Norsk informasjonssikkerhetsforum (ISF), Møte, Nov 2015
  28. J. Noll, "Sikkerhetsutfordringer i fremtidens Smartgrid", Partnerseminaret NCE Smart Energy Markets, Nov 2015
  29. J. Noll, and D. Hirdes, "Nasjonalt senter for sikkerhet i SmartGrid", Resultater fra Arbeidsgruppe, Partnerseminaret NCE Smart Energy Markets, Nov 2015
  30. J. Noll, "Measurable Security as Driver for the Internet of Things Ecosystem", e-Innovation Seminar, University of Montenegro, 4.-6.Nov2015
  31. H. Abie, "IoTSec - Security in IoT for Smart Grids", AF Security Seminar, Oct 2015, Oslo


Thumb Title Author Date Keywords
Screenshot 2020-05-29 at 01.11.46.png Measurable Security for the Internet of Things
Click to Open
{{{8}}}
Josef Noll 28 May 2020 Measurable Security, Multi-Metrics analysis, Smart Meter, Personal Mobility
Screenshot 2020-03-12 at 11.34.10.png Privacy Labels as an enabled for the European SMEs
Click to Open
{{{8}}}
Josef Noll 12 March 2020 Privacy Label, Economy, SME, Research for the Benefit of SME
[[File:|frameless|150px]] C. Holst presentation Cystinet-Africa conference
Click to Open
{{{8}}}
Christine.Holst 29 November 2019 Digital Global Health, Global Health, Health, Basic Education
[[File:|frameless|150px]] iotsec_contribution_adam.pdf
Click to Open
{{{8}}}
Adam Szekeres 25 October 2019 Iotsec contribution adam
[[File:|frameless|150px]] PlansNextYearNR
Click to Open
{{{8}}}
Svetlana Boudko 25 October 2019 PlansNextYearNR Svetlana
[[File:|frameless|150px]] Contributions to the overall Goals of IoTSec
Click to Open
{{{8}}}
Habtamu Abie 25 October 2019 Contributions to the overall Goals of IoTSec
Screenshot from 2019-06-04 19-24-33.png Oslo Activities related to SCOTT
Click to Open
{{{8}}}
Cristian 4 June 2019 SCOTT
[[File:|frameless|150px]] WP30 - Hackathons and other Open Innovation Contests
Click to Open
{{{8}}}
Maunya Doroudi Moghadam, Josef Noll, Christian Kaiser 4 June 2019
Screenshot 2019-04-28 at 22.44.51.png 5G, 6G and Wifi Network Slices
Click to Open
{{{8}}}
Josef Noll 28 April 2019 5G, 6G, Digital Inclusion, Wifi
Screenshot 2019-04-23 at 11.52.19.png Societal Security - 
Towards Trusted and Innovative Society
Click to Open
{{{8}}}
Josef Noll 23 April 2019 Societal Security
Screenshot 2019-02-14 at 11.00.05.png Measurable Security, Privacy and Trust for Autonomous System
Click to Open
{{{8}}}
Josef Noll 14 February 2019 Measurable Security, Privacy, Trust, SCOTT
Screenshot 2019-01-24 at 00.16.12.png IoT contributions to Sustainable Developments(?)
Click to Open
{{{8}}}
Josef Noll 24 January 2019 IoT, Automation
Screenshot 2019-01-21 at 00.17.28.png Strømdata og personvern - Skal jeg eller Amazon
Click to Open
{{{8}}}
Josef Noll 21 January 2019 Smart Meter, Smart Meter, Smart Home
Screenshot 2018-11-21 at 09.58.49.png Seamless integration between mobile and home network?
Click to Open
{{{8}}}
Josef Noll 21 November 2018 5G, Broadband
Screenshot 2019-01-24 at 10.23.14.png SPD Trust case
Click to Open
{{{8}}}
Rune Winther, Øivind Berg 16 October 2018 SPD
Screenshot 2019-01-24 at 10.46.06.png SPD Taxonomy
Click to Open
{{{8}}}
Rune Winther, Øyvind Berg 16 October 2018
Screenshot 2019-01-24 at 21.04.40.png Proposed taxonomy for use in trust cases for SPD
Click to Open
{{{8}}}
Rune Winther 2 October 2018 Security, Privacy, Dependability, Trust case
[[File:|frameless|150px]] An Evolutionary Game for Integrity Attacks and Defenses
Click to Open
{{{8}}}
Svetlana Boudko 6 June 2018
[[File:|frameless|150px]] Unobtrusive Psychological profiling for Risk Analysis_Adam
Click to Open
{{{8}}}
Adam Szekeres 6 June 2018
Screen Shot 2018-06-06 at 15.32.12.png E2U information and service offers
Click to Open
{{{8}}}
Audun Andersen 6 June 2018 Smart Meter, Home Gateway
... further results

Dissemination publications

  1. Poster "DSO operations through the Balanced Scorecard method" Media:Halden_2017_Adam_DSO_context.pdf
  2. Film: "IoT security challenges" - Launching the Smart Grid Security Centre, Feb2017
  3. Idea of "Privacy Labelling" taken up by Paul Chaffey and Finn Lützow-Holm Myrstad (Forbrukerrådet) during "Your Data is for Sale" seminar of Forburkerrådet, 14Nov2016, Latter, Oslo, Twitter: #data4sale and #PrivacyLabel tweet
  4. Interview "Knut Johansen" on future of Energy Companies
further reading Massedød i Strømbransjen (E24) (in Norwegian)

In the news

  1. Jonas Blich Bakken, Ekstremdag for «norsk» kryptovaluta – verdsettes til over 70 milliarder kroner, Dagens Næringsliv, DN.no, 5Dec2017, print and online version, with comments from Prof. Josef Noll (UiO)

Scientific Publications

Conferences and workshops with peer-reviewed proceedings

  1. Toktam Ramezanifarkhani, Farzane Karami, Olaf Owe. A High-Level Language for Active Objects with Future-Free Support of Futures. 29th Nordic Workshop on Programming Theory. Turku, Finland, Nov. 1-3, 2017. (link to .pdf)
  2. Toktam Ramezanifarkhani, Elahe Fazeldehkordi and Olaf Owe. A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems. 29th Nordic Workshop on Programming Theory. Turku, Finland, Nov. 1-3, 2017 (link to .pdf)
  3. Shukun Tokas, Olaf Owe and Christian Johansen. Code Diversification Mechanisms for Securing the Internet of Things. 29th Nordic Workshop on Programming Theory.Futures. 29th Nordic Workshop on Programming Theory. Turku, Finland, Nov. 1-3, 2017. (link to .pdf)
  4. Mattias T. Gebrie and Habtamu Abie. 2017. Risk-Based Adaptive Authentication for Internet of Things in Smart Home eHealth. In Proceedings of ECSA'17, September 11-15, 2017, Canterbury, United Kingdom
  5. Sigurd Eskeland. 2017. Communication-efficient privacy-preserving smart metering. In Proceedings of ECSA'17, September 11-15, 2017, Canterbury, United Kingdom
  6. Toktam Ramezani, "Game-Theoretic Analysis of Markovian Play Order in Wireless Networks”. Accepted at the International Conference on Networked Systems (NetSys 2017), IEEE, Göttingen, Germany, Mar. 13-17, joint work with Peyman Teymoori
  7. Seraj Fayyad and Josef Noll. "A Framework for Measurability of Security." In Information and Communication Systems (ICICS), 2017 8th International Conference on, pp. 302-309. IEEE, 2017.
  8. Agrawal, V., & Szekeres, A. (2017, June). CIRA Perspective on Risks Within UnRizkNow - A Case Study. In Cyber Security and Cloud Computing (CSCloud), 2017 IEEE 4th International Conference on (pp. 121-126). IEEE.
  9. Sigurd Eskeland, "Compromise-protection of smart meters in the smart grid using co-dependent authentication", Workshop on Security, 28Nov-2Dec2016, Stockholm
  10. 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.
  11. 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)
  12. 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
  13. Toktam Ramezani, Olaf Owe, "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.
  14. Seraj Fayyad and Josef Noll, "Toward objective security measurability and manageability", 2017 14th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT (HONET-ICT), pp 98-104, IEEE, 2017.

Books/Monographs published

The SHIELD Methodology by CRC Press

The SHIELD book is published:

  1. Andrea Fiaschetti, Josef Noll, Paolo Azzoni, Roberto Uribeetxeberria, Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems: The SHIELD Methodology, CRC Press, 2018, https://www.crcpress.com/Measurable-and-Composable-Security-Privacy-and-Dependability-The-SHIELD/Fiaschetti-Noll-Azzoni-Uribeetxeberria/p/book/9781138042759

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. Toktam Ramezanifarkani, Olaf Owe, Shukun Tokas: A Secrecy-Preserving Language for Distributed and Object-Oriented Systems. To in J. Log. Algebr. Meth. Program (JLAMP) Elsevier (31 pages) (2018) https://doi.org/10.1016/j.jlamp.2018.04.001
  2. Olaf Owe, Toktam Ramezanifarkani: Confidentiality of Interactions in Concurrent Object-Oriented Systems. 12th International Workshop on Data Privacy Management (DPM 2017). Lecture Notes in Computer Science 10436, pages 19-34, Springer, 2017. DOI: 10.1007/978-3-319-66845-1_17
  3. Olaf Owe, Toktam Ramezani and Elahe Fazeldehkordi: Hoare-style Reasoning from Multiple Contracts. iFM'17 Torino, Italy, September, Lecture Notes in Computer Science 10510, pages 263-278, Springer, 2017. DOI: 10.1007/978-3-319-66845-1_17
  4. Olaf Owe, Charlie McDowell: On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. Journal of Log. Algebr. Meth. Program. (JLAMP) Elsevier, Volume 90, pages 158–175, 2017. DOI: 10.1016/j.jlamp.2017.02.005 [2]
  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, pp 1359-1376 (2015)
  7. 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. DOI: 10.1007/978-3-319-46508-1_8
  8. 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. DOI: 10.1007/978-3-319-33693-0_14
  9. Ashish Rauniar, Desta Haileselassie Hagos, Manish Shrestha: A Crowd-Based Intelligence Approach for Measurable Security, Privacy, and Dependability in Internet of Automated Vehicles with Vehicular Fog. Mobile Information Systems, vol. 2018, Article ID 7905960, 14 pages, 2018. doi:10.1155/2018/7905960

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

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

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


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