Difference between revisions of "IoTSec:Publications"
From its-wiki.no
(→Scientific Publications) |
(→Presentations) |
||
(67 intermediate revisions by 9 users not shown) | |||
Line 11: | Line 11: | ||
| effect=slide left | | effect=slide left | ||
}} | }} | ||
+ | |||
+ | = YouTube Channel = | ||
+ | [[File:YouTubeChannel_CPS.png|650px|center|thumb|''Cyber Physical Lab (CPS) at UiO on YouTube: https://www.youtube.com/channel/UCKv7xUMzalnNSoc2V65ypaw]] | ||
= Presentations = | = Presentations = | ||
{{TOCright}} | {{TOCright}} | ||
− | # 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. | + | #Toktam Ramezanifarkhani, [https://energyvalley.no/wp-content/uploads/2019/09/Toktam-CyberSecEnergy-2019-1.pdf Cybersecurity in Energy Informatics], INDUSTRY-SCIENCE MEETUP AT UIO, Dec 5th, 2019. |
+ | #Habtamu Abie, "Cognitive Cybersecurity for CPS-IoT Enabled Healthcare Ecosystems", The IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019 (accepted) | ||
+ | #Svetlana Boudko and Habtamu Abie, "Adaptive Cybersecurity Framework for Healthcare Internet of Things", The IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019 (accepted) | ||
+ | #Elahe Fazeldehkordi. "Futures, Histories, and Smart Contracts". 31th Nordic Workshop on Programming Theory - NWPT'19, 13-15 November, 2019, Tallinn, Estonia.(joint work with Olaf Owe) | ||
+ | #Elahe Fazeldehkordi. "Security and Privacy Functionalities in IoT". 17th International Conference on Privacy, Security and Trust (PST), 26-28 August, 2019 (accepted). (joint work with Olaf Owe and Josef Noll) | ||
+ | #Elahe Fazeldehkordi. "Security and Privacy in IoT Systems: A Case Study of Healthcare Products", 13th International Symposium on Medical Information and Communication Technology (ISMICT), 8-10 May, 2019, Oslo, Norway (accepted). (joint work with Olaf Owe and Josef Noll) | ||
+ | #Habtamu Abie: Keynote Speech, "Cyber-physical critical infrastructure protection: the FINSEC integrated, predictive and collaborative approach", MeSSa 2018-5th International Workshop on Measurability of Security in Software Architectures, in conjunction with the 12th European Conference on Software Architecture (ECSA 2018), 24-28 September, 2018, Madrid, Spain | ||
+ | #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) | ||
+ | # 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 and Olaf Owe) | ||
+ | #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) | ||
+ | # 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) | ||
# 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 | # 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 | ||
# 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 | # 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 | ||
Line 43: | Line 56: | ||
# H. Abie, "[[Media:201510IoTSec_AF_Security_Abie.pdf|IoTSec - Security in IoT for Smart Grids]]", AF Security Seminar, Oct 2015, Oslo | # H. Abie, "[[Media:201510IoTSec_AF_Security_Abie.pdf|IoTSec - Security in IoT for Smart Grids]]", AF Security Seminar, Oct 2015, Oslo | ||
− | {{#ask: [[Category:Presentation]][[Project::IoTSec]] |?Presenter |?Date |?Presentation File}} | + | == Slides == |
+ | {{#ask: [[Category:Presentation]][[Project::IoTSec]] |?Title |?Presenter |?Date |?Presentation File |?Presentation_view |?Project |?Keywords |?Event | ||
+ | |mainlabel=- | ||
+ | |sort=Date | ||
+ | |order=desc | ||
+ | |format=template | ||
+ | |template=Presentation_table_place | ||
+ | | introtemplate=Table_header | ||
+ | | outrotemplate=Table_footer | ||
+ | |sort=Date | ||
+ | |order=desc | ||
+ | |limit=20}} | ||
= Dissemination publications = | = Dissemination publications = | ||
+ | <span style="width: 270px; float: right; font-size: 80%;" > | ||
+ | {{#widget:Twitter|user=josefnoll|id=619849509993074689}} | ||
+ | </span> | ||
+ | # Poster "DSO operations through the Balanced Scorecard method" [[Media:Halden_2017_Adam_DSO_context.pdf]] | ||
# Film: "IoT security challenges" - Launching the Smart Grid Security Centre, Feb2017 | # Film: "IoT security challenges" - Launching the Smart Grid Security Centre, Feb2017 | ||
# 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, [https://twitter.com/search?q=%23data4sale&src=tyah Twitter: #data4sale] and [https://twitter.com/josefnoll/status/798161179059298304 #PrivacyLabel tweet] | # 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, [https://twitter.com/search?q=%23data4sale&src=tyah Twitter: #data4sale] and [https://twitter.com/josefnoll/status/798161179059298304 #PrivacyLabel tweet] | ||
# [[Media:Interview_Knut_Johansen_Jan2016.pdf|Interview "Knut Johansen"]] on future of Energy Companies | # [[Media:Interview_Knut_Johansen_Jan2016.pdf|Interview "Knut Johansen"]] on future of Energy Companies | ||
:: ''further reading'' [http://e24.no/energi/stroem/forventer-massedoed-i-stroembransjen/23629620 Massedød i Strømbransjen (E24)] <small>''(in Norwegian)''</small> | :: ''further reading'' [http://e24.no/energi/stroem/forventer-massedoed-i-stroembransjen/23629620 Massedød i Strømbransjen (E24)] <small>''(in Norwegian)''</small> | ||
+ | |||
+ | <!------ | ||
+ | = Presentations = | ||
+ | {{#ask: [[Category:Presentation]][[Project::IoTSec]] |sort=Date|order=desc|template=List_Presentations|format=template | ||
+ | |limit=12}} ---> | ||
+ | |||
+ | = In the news = | ||
+ | # Jonas Blich Bakken, ''Ekstremdag for «norsk» kryptovaluta – verdsettes til over 70 milliarder kroner'', Dagens Næringsliv, DN.no, 5Dec2017, [[Media:20171205IOTA_DN.NO.pdf|print]] and [https://www.dn.no/nyheter/2017/12/05/1937/Finans/ekstremdag-for-norsk-kryptovaluta-verdsettes-til-over-70-milliarder-kroner online version], ''with comments from Prof. Josef Noll (UiO)'' | ||
= Scientific Publications = | = Scientific Publications = | ||
− | + | ||
− | + | ||
− | + | ||
===Conferences and workshops with peer-reviewed proceedings=== | ===Conferences and workshops with peer-reviewed proceedings=== | ||
+ | <!--- use [[Media:....pdf]] for direct presentation of .pdf files ---> | ||
+ | |||
+ | # Elahe Fazeldehkordi, Olaf Owe. "Futures, Histories, and Smart Contracts". The 31th Nordic Workshop on Programming Theory - NWPT'19; 2019-11-13 - 2019-11-15. [https://digikogu.taltech.ee/et/Download/536ca083-81f0-4f6c-9e59-c6b90b35125a[PDF File]] | ||
+ | #Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani: A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems, Accepted to 1st International Workshop on Security for Financial Critical Infrastructures and Services, ESORICS'19, Sept. 2019 (16 pages) | ||
+ | #Elahe Fazeldehkordi, Olaf Owe, Josef Noll: Security and Privacy Functionalities in IoT. Accepted to the 17th International Conference on Privacy, Security, and Trust (PST2019)}, Fredericton, Canada, Aug. 2019 (12 pages) | ||
+ | #Shukun Tokas, Olaf Owe, and Toktam Ramezanifarkhani: Language-Based Mechanisms for Privacy by Design, Accepted to IFIP Summer School on Privacy and Identity Management, August 19-23, 2019, Brugg/Windisch, Switzerland (8 pages) Best paper award. | ||
+ | #Elahe Fazeldehkordi, Olaf Owe, Josef Noll: Security and Privacy in IoT Systems: A Case Study of Healthcare Products In Proc. the 13th IEEE International Symposium on Medical Information and Communication Technology (ISMICT) - Special Session on Cybersecurity in Healthcare, Oslo, May, 2019 | ||
+ | #Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi: A Flexible Framework for Program Evolution and Verification In Proceeding of the 7th Intern. Conf. on Model-Driven Engineering and Software Development (Modelsward'19 Prague), Vol. 1, p. 179-191, SCITEPRESS Digital Library, 2019 | ||
+ | #Habtamu Abie: Cognitive Cybersecurity for CPS-IoT Enabled Healthcare Ecosystems, In the Proceedings of the IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019 | ||
+ | #Svetlana Boudko and Habtamu Abie: Adaptive Cybersecurity Framework for Healthcare Internet of Things, In the Proceedings of the IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019 | ||
+ | #Adam Szekeres, Pankaj Shivdayal Wasnik and Einar Arthur Snekkenes: Using Demographic Features for the Prediction of Basic Human Values Underlying Stakeholder Motivation. In Proceedings of the 21st International Conference on Enterprise Information Systems, (ICEIS 2019), Heraklion, Crete, Greece, May 3-5, 2019, Volume 2. https://doi.org/10.5220/0007694203770389 | ||
+ | #Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: Privacy Mining from IoT-based Smart Homes. Accepted to 13th International Conference on Broadband and Wireless Computing, Communication and Applications} (BWCCA'18) Oct. 2018 Taiwan (LNCS) | ||
+ | #Svetlana Boudko and Habtamu Abie: An Evolutionary Game for Integrity Attacks and Defences for Advanced Metering Infrastructure. In 12th European Conference on Software Architecture: Companion Proceedings (ECSA ’18), September 24–28, 2018, Madrid, Spain. ACM, New York, NY, USA, 7 pages. https://doi.org/10.1145/3241403.3241463 | ||
+ | #Sigurd Eskeland, Temporal anonymity in the AMS scenario without a TTP, In 12th European Conference on Software Architecture: Companion Proceedings (ECSA ’18), September 24–28, 2018, Madrid, Spain. ACM, New York, NY, USA, 7 pages. https://doi.org/10.1145/3241403.3241462 | ||
+ | #Adam Szekeres and Einar Arthur Snekkenes: Unobtrusive Psychological Profiling for Risk Analysis. In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, (ICETE 2018) - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018. https://doi.org/10.5220/0006858803760386 | ||
+ | #Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: EasyChoose: A continuous feature extraction and review highlighting scheme on Hadoop YARN. In 32-nd IEEE International Conference on Advanced Information Networking and Applications (AINA-2018), Kracow, Poland. May 16-18, pp. 996-100, IEEE 2018 (pdf available through the home page of first author) | ||
+ | #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. [[Media:RKONWPT17.pdf|(link to .pdf)]] | ||
+ | #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 [[Media:RFONWPT17.pdf|(link to .pdf)]] | ||
+ | #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. [[Media:TOJNWPT17.pdf | (link to .pdf)]] | ||
# 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 | # 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 | ||
# Sigurd Eskeland. 2017. Communication-efficient privacy-preserving smart metering. In Proceedings of ECSA'17, September 11-15, 2017, Canterbury, United Kingdom | # Sigurd Eskeland. 2017. Communication-efficient privacy-preserving smart metering. In Proceedings of ECSA'17, September 11-15, 2017, Canterbury, United Kingdom | ||
Line 65: | Line 118: | ||
# S.Fayyad and J.Noll. "Components Interconnection Consideration In Multi Metrics Approach", CENTRIC 2015, pp 21-27, ISBN: 978-1-61208-440-4 [https://www.thinkmind.org/download.php?articleid=centric_2015_2_10_30013 (link to .pdf)] | # S.Fayyad and J.Noll. "Components Interconnection Consideration In Multi Metrics Approach", CENTRIC 2015, pp 21-27, ISBN: 978-1-61208-440-4 [https://www.thinkmind.org/download.php?articleid=centric_2015_2_10_30013 (link to .pdf)] | ||
# Ming-Chang Lee and Olaf Owe: [http://heim.ifi.uio.no/olaf/Papers/semanticmodelRR457.pdf, Semantic Modeling of Smart Homes in the ABS Real-time modeling language.]Research report 457, Dept. of Informatics, Univ. of Oslo, October 2016 | # Ming-Chang Lee and Olaf Owe: [http://heim.ifi.uio.no/olaf/Papers/semanticmodelRR457.pdf, Semantic Modeling of Smart Homes in the ABS Real-time modeling language.]Research report 457, Dept. of Informatics, Univ. of Oslo, October 2016 | ||
− | + | #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. | |
+ | #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. | ||
<!-- I want the cathegories below so that it is easy to report at the end of the year to NFR --> | <!-- I want the cathegories below so that it is easy to report at the end of the year to NFR --> | ||
+ | |||
=== Books/Monographs published === | === Books/Monographs published === | ||
− | + | [[File:SHIELD_Book.png|213px|right|The SHIELD Methodology by CRC Press]] | |
+ | ''The SHIELD book is published'': <br/> | ||
+ | # 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 === | === Articles published in anthologies === | ||
Line 74: | Line 131: | ||
=== Articles published in scientific/scholary journals or series === | === Articles published in scientific/scholary journals or series === | ||
− | # Olaf Owe, Toktam | + | # Manish Shrestha, Christian Johansen, JosefNoll, DavideRoverso, A Methodology for Security Classification applied to Smart Grid Infrastructures, Science Direct, 17 February 2020, https://doi.org/10.1016/j.ijcip.2020.100342 |
− | # Olaf Owe, Toktam | + | # Elahe Fazeldehkordi and Olaf Owe. "Lightweight Smart Contracts – Safety, Privacy, and Trust without Blockchain". April 2020, submitted to Journal of Logical and Algebraic Methods in Programming (JLAMP). |
− | # Olaf Owe, Charlie McDowell: On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. | + | #Ming-Chang Lee, Jia-Chun Lin, O. Owe: PDS: Deduce Elder Privacy from Smart Homes. Internet of Things: Engineering Cyber Physical Human Systems. Vol. 7, 2019, 100072 (18 pages). |
+ | #Christian Johansen, Olaf Owe: Dynamic Structural Operational Semantics. To appear in Journal of Logical and Algebraic Methods in Programming (JLAMP) 107: 79-107 (2019) Elsevier | ||
+ | #Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani: An Evaluation of Interaction Paradigms for Active Objects. J. Log. Algebr. Meth. Program (JLAMP) 103:154-183 2019 Elsevier. online version https://doi.org/10.1016/j.jlamp.2018.11.008 , 2018) | ||
+ | # Toktam Ramezanifarkani, Olaf Owe, Shukun Tokas: A Secrecy-Preserving Language for Distributed and Object-Oriented Systems. J. Log. Algebr. Meth. Program (JLAMP) 99: 1-25 (2018). Elsevier Online version: 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 | ||
+ | #Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse. J. Log. Algebr. Meth. Program (JLAMP) 95: 82-102 (2018) (for preprint see home page of Owe) | ||
+ | # Olaf Owe, Toktam Ramezanifarkhani 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] | ||
# [https://www.researchgate.net/publication/278505586_Measurable_Security_Privacy_and_Dependability_in_Smart_Grids 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)] | # [https://www.researchgate.net/publication/278505586_Measurable_Security_Privacy_and_Dependability_in_Smart_Grids 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)] | ||
# 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) | # 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) | ||
− | # 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. | + | # 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 |
− | # 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. | + | # 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 |
+ | # 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 === | === Journal (co-)editors and Scientific Events === | ||
Line 96: | Line 161: | ||
;in Title | ;in Title | ||
: in LaTeX notation (adjust it for the publication software that you use) | : 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 | ;at Author | ||
: in LaTeX notation (adjust it for the publication software that you use) | : 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. | : 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}. | ||
+ | --- | ||
</small> | </small> | ||
Latest revision as of 12:59, 9 December 2020
Security in IoT for Smart Grids | |||||||
---|---|---|---|---|---|---|---|
|
![]() |
YouTube Channel
![](/images/thumb/7/7d/YouTubeChannel_CPS.png/650px-YouTubeChannel_CPS.png)
Presentations
Contents
- 1 YouTube Channel
- 2 Presentations
- 3 Dissemination publications
- 4 In the news
- 5 Scientific Publications
- 6 How to Acknowledge IoTSec in your Publications
- 7 Other Achievements
- Toktam Ramezanifarkhani, Cybersecurity in Energy Informatics, INDUSTRY-SCIENCE MEETUP AT UIO, Dec 5th, 2019.
- Habtamu Abie, "Cognitive Cybersecurity for CPS-IoT Enabled Healthcare Ecosystems", The IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019 (accepted)
- Svetlana Boudko and Habtamu Abie, "Adaptive Cybersecurity Framework for Healthcare Internet of Things", The IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019 (accepted)
- Elahe Fazeldehkordi. "Futures, Histories, and Smart Contracts". 31th Nordic Workshop on Programming Theory - NWPT'19, 13-15 November, 2019, Tallinn, Estonia.(joint work with Olaf Owe)
- Elahe Fazeldehkordi. "Security and Privacy Functionalities in IoT". 17th International Conference on Privacy, Security and Trust (PST), 26-28 August, 2019 (accepted). (joint work with Olaf Owe and Josef Noll)
- Elahe Fazeldehkordi. "Security and Privacy in IoT Systems: A Case Study of Healthcare Products", 13th International Symposium on Medical Information and Communication Technology (ISMICT), 8-10 May, 2019, Oslo, Norway (accepted). (joint work with Olaf Owe and Josef Noll)
- Habtamu Abie: Keynote Speech, "Cyber-physical critical infrastructure protection: the FINSEC integrated, predictive and collaborative approach", MeSSa 2018-5th International Workshop on Measurability of Security in Software Architectures, in conjunction with the 12th European Conference on Software Architecture (ECSA 2018), 24-28 September, 2018, Madrid, Spain
- 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)
- 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 and Olaf Owe)
- 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)
- 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)
- 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
- 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
- O. Owe, "Language-based security for Creol/ABS", First International Workshop on ABS, Oslo, May 31 - June 2., 2017.
- Josef Noll, "Smart energisektor - hvordan etablere og sikre tillit?", ESRA Seminar Fremtidens Avanserte Samfunn, http://esra.no/, 1Jun2017, Oslo.
- Josef Noll, "Measurable Security for the Autonomous Operation of Systems of Systems", MANTIS Industrial Workshop, 9May2017, Helsinki
- Josef Noll, "Hvordan ivareta sikkerhet rundt IoT enheter", Sårbarhet i kraftsektoren, Tekna Seminar, 27Apr2017, Gardermoen
- Seraj Fayyad, "A framework for Security measurability", ICICS 2017, 05 April 2017
- Otto Andreas Rustand, "Launching Smart Grid Security Centre", Smart Energy 2017, 14-15Feb2017, Halden
- Josef Noll, "Collaboration for a more secure Smart Grid operation", Smart Energy 2017, 14-15Feb2017, Halden
- Adam Szekeres, "Prediction of privacy violating behaviors within Smart Grids", Smart City Day, 1 Dec 2016, Oslo
- Josef Noll, "Security and Privacy in Energy", Lunchmeeting at Energi Norge, 18 Nov 2016, Oslo
- 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
- 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
- J. Noll, "Internet of Things (IoT), innovasjonsdriveren i fremtiden", LO IKT konferansen, Et samfunn i endring; The Internet of Things, 1Nov2016, Oslo
- J. Noll, "Security and privacy-aware ecosystem for the Internet of Things in Smartgrids", Smartgrid conference, 13-14Sep2016, Fornebu, [1]
- J. Noll, "Digitalisert hverdag - en stor utfordring?", Rotary Medlemsmøte, Nittedal, 1Sep2016
- J. Noll, "Measurable Security and Privacy for the Internet of Things", Nemko's compliance & market access seminar, 13-15June2016, Oslo
- O. Owe, "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems", iFM 2016, June 1-5, Iceland.
- O. Owe, "A framework for reasoning about object-oriented concurrent systems", SINTEF seminar Dec 15 2015, Oslo
- O. Owe, "Flooding Detection in Concurrent Object Systems", Nordic Workshop on Programming Theory 2015, 21-23 Oct., Iceland, joint work with Charlie McDowell.
- 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.
- H.Tuiskula, "IoTSec - Security in Internet-of-Things for Smart Grids", Poster in ACSAC Conference, Dec 2015, Los Angeles
- J. Noll, "IoTSec - Security in IoT for Smart Grids", Norsk informasjonssikkerhetsforum (ISF), Møte, Nov 2015
- J. Noll, "Sikkerhetsutfordringer i fremtidens Smartgrid", Partnerseminaret NCE Smart Energy Markets, Nov 2015
- J. Noll, and D. Hirdes, "Nasjonalt senter for sikkerhet i SmartGrid", Resultater fra Arbeidsgruppe, Partnerseminaret NCE Smart Energy Markets, Nov 2015
- J. Noll, "Measurable Security as Driver for the Internet of Things Ecosystem", e-Innovation Seminar, University of Montenegro, 4.-6.Nov2015
- H. Abie, "IoTSec - Security in IoT for Smart Grids", AF Security Seminar, Oct 2015, Oslo
Slides
Thumb | Title | Keywords | Date | Author/Project |
---|---|---|---|---|
![]() |
DigI:School Connectivity project Click to Open presented at: Kick-off School Connectivity TZ Aug2020 |
Catherine R. Kimambo | 5 August 2020 | School Connectivity |
![]() |
Measurable Security for the Internet of Things Click to Open presented at: Guest Lecture at UPM - 29May2020 |
Josef Noll | 28 May 2020 | Measurable Security, Multi-Metrics analysis, Smart Meter, Personal Mobility |
![]() |
Privacy Labels as an enabled for the European SMEs Click to Open presented at: Privacy Labelling Workshop, 12Mar2020, Oslo |
Josef Noll | 12 March 2020 | Privacy Label, Economy, SME, Research for the Benefit of SME |
![]() |
Digital health information in Iringa, Tanzania_Nov2019 Click to Open presented at: CYSTINET-Africa: Cysticercosis/Taeniosis Conference 2019 |
Christine Holst | 29 November 2019 | Digital Global Health, Global Health, Health, Basic Education |
[[File:|frameless|150px]] | iotsec_contribution_adam.pdf Click to Open presented at: Consortium Meeting Gjovik Oct 2019 |
Adam Szekeres | 25 October 2019 | Iotsec contribution adam |
[[File:|frameless|150px]] | PlansNextYearNR Click to Open presented at: Meeting |
Svetlana Boudko | 25 October 2019 | PlansNextYearNR Svetlana |
[[File:|frameless|150px]] | Contributions to the overall Goals of IoTSec Click to Open presented at: Consortium Meeting Gjovik Oct 2019 |
Habtamu Abie | 25 October 2019 | Contributions to the overall Goals of IoTSec |
![]() |
Oslo Activities related to SCOTT Click to Open presented at: SWITS annual meeting of Swedish security groups |
Christian Johansen | 4 June 2019 | SCOTT |
[[File:|frameless|150px]] | WP30 - Hackathons and other Open Innovation Contests Click to Open presented at: Meeting |
Maunya Doroudi Moghadam, Josef Noll, Christian Kaiser | 4 June 2019 | |
![]() |
5G, 6G and Wifi Network Slices Click to Open presented at: EyeNetworks Fagdag Apr2019 |
Josef Noll | 28 April 2019 | 5G, 6G, Digital Inclusion, Wifi |
![]() |
Societal Security -
Towards Trusted and Innovative Society Click to Open presented at: Consortium Meeting Halden Apr2019 |
Josef Noll | 23 April 2019 | Societal Security |
![]() |
Measurable Security, Privacy and Trust for Autonomous System Click to Open presented at: Student Seminar Measurable Security, Privacy and Dependability - Cadiz Feb2019 |
Josef Noll | 14 February 2019 | Measurable Security, Privacy, Trust, SCOTT |
![]() |
IoT contributions to Sustainable Developments(?) Click to Open presented at: Seminar on IoT and Sustainability, Sintef, Oslo, 24Jan2019 |
Josef Noll | 24 January 2019 | IoT, Automation |
![]() |
Strømdata og personvern - Skal jeg eller Amazon Click to Open presented at: SPD Seminar Halden 21Jan2019 |
Josef Noll | 21 January 2019 | Smart Home |
![]() |
Seamless integration between mobile and home network? Click to Open presented at: Inside Telecom Høstkonferansen 2018 |
Josef Noll | 21 November 2018 | 5G, Broadband |
![]() |
SPD Trust case Click to Open presented at: Consortium Oct.2018 Oslo |
Rune Winther, Øivind Berg | 16 October 2018 | SPD |
![]() |
SPD Taxonomy Click to Open presented at: IoTSec Consortium ITS 2018 |
Rune Winther, Øyvind Berg | 16 October 2018 | |
![]() |
Proposed taxonomy for use in trust cases for SPD Click to Open presented at: IoTSec Oct meeting |
Rune Winther | 2 October 2018 | Security, Privacy, Dependability, Trust case |
[[File:|frameless|150px]] | An Evolutionary Game for Integrity Attacks and Defenses Click to Open presented at: Meeting |
Svetlana Boudko | 6 June 2018 | |
[[File:|frameless|150px]] | Unobtrusive Psychological profiling for Risk Analysis_Adam Click to Open presented at: Meeting |
Adam Szekeres | 6 June 2018 |
... further results
Dissemination publications
- Poster "DSO operations through the Balanced Scorecard method" Media:Halden_2017_Adam_DSO_context.pdf
- Film: "IoT security challenges" - Launching the Smart Grid Security Centre, Feb2017
- 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
- Interview "Knut Johansen" on future of Energy Companies
- further reading Massedød i Strømbransjen (E24) (in Norwegian)
In the news
- 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
- Elahe Fazeldehkordi, Olaf Owe. "Futures, Histories, and Smart Contracts". The 31th Nordic Workshop on Programming Theory - NWPT'19; 2019-11-13 - 2019-11-15. [PDF File]
- Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani: A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems, Accepted to 1st International Workshop on Security for Financial Critical Infrastructures and Services, ESORICS'19, Sept. 2019 (16 pages)
- Elahe Fazeldehkordi, Olaf Owe, Josef Noll: Security and Privacy Functionalities in IoT. Accepted to the 17th International Conference on Privacy, Security, and Trust (PST2019)}, Fredericton, Canada, Aug. 2019 (12 pages)
- Shukun Tokas, Olaf Owe, and Toktam Ramezanifarkhani: Language-Based Mechanisms for Privacy by Design, Accepted to IFIP Summer School on Privacy and Identity Management, August 19-23, 2019, Brugg/Windisch, Switzerland (8 pages) Best paper award.
- Elahe Fazeldehkordi, Olaf Owe, Josef Noll: Security and Privacy in IoT Systems: A Case Study of Healthcare Products In Proc. the 13th IEEE International Symposium on Medical Information and Communication Technology (ISMICT) - Special Session on Cybersecurity in Healthcare, Oslo, May, 2019
- Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi: A Flexible Framework for Program Evolution and Verification In Proceeding of the 7th Intern. Conf. on Model-Driven Engineering and Software Development (Modelsward'19 Prague), Vol. 1, p. 179-191, SCITEPRESS Digital Library, 2019
- Habtamu Abie: Cognitive Cybersecurity for CPS-IoT Enabled Healthcare Ecosystems, In the Proceedings of the IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019
- Svetlana Boudko and Habtamu Abie: Adaptive Cybersecurity Framework for Healthcare Internet of Things, In the Proceedings of the IEEE 13th International Symposium on Medical Information and Communication Technology (ISMICT 2019), Oslo, Norway, 8-10 May 2019
- Adam Szekeres, Pankaj Shivdayal Wasnik and Einar Arthur Snekkenes: Using Demographic Features for the Prediction of Basic Human Values Underlying Stakeholder Motivation. In Proceedings of the 21st International Conference on Enterprise Information Systems, (ICEIS 2019), Heraklion, Crete, Greece, May 3-5, 2019, Volume 2. https://doi.org/10.5220/0007694203770389
- Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: Privacy Mining from IoT-based Smart Homes. Accepted to 13th International Conference on Broadband and Wireless Computing, Communication and Applications} (BWCCA'18) Oct. 2018 Taiwan (LNCS)
- Svetlana Boudko and Habtamu Abie: An Evolutionary Game for Integrity Attacks and Defences for Advanced Metering Infrastructure. In 12th European Conference on Software Architecture: Companion Proceedings (ECSA ’18), September 24–28, 2018, Madrid, Spain. ACM, New York, NY, USA, 7 pages. https://doi.org/10.1145/3241403.3241463
- Sigurd Eskeland, Temporal anonymity in the AMS scenario without a TTP, In 12th European Conference on Software Architecture: Companion Proceedings (ECSA ’18), September 24–28, 2018, Madrid, Spain. ACM, New York, NY, USA, 7 pages. https://doi.org/10.1145/3241403.3241462
- Adam Szekeres and Einar Arthur Snekkenes: Unobtrusive Psychological Profiling for Risk Analysis. In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, (ICETE 2018) - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018. https://doi.org/10.5220/0006858803760386
- Ming-Chang Lee, Jia-Chun Lin, Olaf Owe: EasyChoose: A continuous feature extraction and review highlighting scheme on Hadoop YARN. In 32-nd IEEE International Conference on Advanced Information Networking and Applications (AINA-2018), Kracow, Poland. May 16-18, pp. 996-100, IEEE 2018 (pdf available through the home page of first author)
- 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)
- 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)
- 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)
- 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
- Sigurd Eskeland. 2017. Communication-efficient privacy-preserving smart metering. In Proceedings of ECSA'17, September 11-15, 2017, Canterbury, United Kingdom
- 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
- 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.
- 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.
- Sigurd Eskeland, "Compromise-protection of smart meters in the smart grid using co-dependent authentication", Workshop on Security, 28Nov-2Dec2016, Stockholm
- 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.
- 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)
- 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
- 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.
- 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 book is published:
- 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
- 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
- Manish Shrestha, Christian Johansen, JosefNoll, DavideRoverso, A Methodology for Security Classification applied to Smart Grid Infrastructures, Science Direct, 17 February 2020, https://doi.org/10.1016/j.ijcip.2020.100342
- Elahe Fazeldehkordi and Olaf Owe. "Lightweight Smart Contracts – Safety, Privacy, and Trust without Blockchain". April 2020, submitted to Journal of Logical and Algebraic Methods in Programming (JLAMP).
- Ming-Chang Lee, Jia-Chun Lin, O. Owe: PDS: Deduce Elder Privacy from Smart Homes. Internet of Things: Engineering Cyber Physical Human Systems. Vol. 7, 2019, 100072 (18 pages).
- Christian Johansen, Olaf Owe: Dynamic Structural Operational Semantics. To appear in Journal of Logical and Algebraic Methods in Programming (JLAMP) 107: 79-107 (2019) Elsevier
- Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani: An Evaluation of Interaction Paradigms for Active Objects. J. Log. Algebr. Meth. Program (JLAMP) 103:154-183 2019 Elsevier. online version https://doi.org/10.1016/j.jlamp.2018.11.008 , 2018)
- Toktam Ramezanifarkani, Olaf Owe, Shukun Tokas: A Secrecy-Preserving Language for Distributed and Object-Oriented Systems. J. Log. Algebr. Meth. Program (JLAMP) 99: 1-25 (2018). Elsevier Online version: 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
- Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu: A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse. J. Log. Algebr. Meth. Program (JLAMP) 95: 82-102 (2018) (for preprint see home page of Owe)
- Olaf Owe, Toktam Ramezanifarkhani 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 [2]
- 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)
- 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)
- 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
- 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
- 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
- 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)