Difference between revisions of "DiversIoT:Publications"

From its-wiki.no

Jump to: navigation, search
(Published/Presented)
Line 1: Line 1:
 
= Publications in DiversIoT =
 
= Publications in DiversIoT =
== Published/Presented ==
+
== Peer-reviewed articles in well established venues ==
 +
These are publications that have gone through a very thorough reviewing process, and are published in well established venues like Springer, Elsevier, IEEE, ACM, etc, and are usually considered as Level 1&2 publications in the Norwegian system.
 +
 
 
# '''Confidentiality of Interactions in Concurrent Object-Oriented Systems'''. By Olaf Owe, Toktam Ramezani. In proceedings of  ''[http://deic.uab.cat/conferences/dpm/dpm2017/program.html 12th International Workshop on Data Privacy Management (DPM 2017)]'' Lecture Notes in Computer Science 10436, pages 19--34, Springer, 2017. [[:Media:olaf_paper_1.pdf|Link to Authors Draft]]
 
# '''Confidentiality of Interactions in Concurrent Object-Oriented Systems'''. By Olaf Owe, Toktam Ramezani. In proceedings of  ''[http://deic.uab.cat/conferences/dpm/dpm2017/program.html 12th International Workshop on Data Privacy Management (DPM 2017)]'' Lecture Notes in Computer Science 10436, pages 19--34, Springer, 2017. [[:Media:olaf_paper_1.pdf|Link to Authors Draft]]
 
# '''Hoare-style Reasoning from Multiple Contracts'''. By Olaf Owe, Toktam Ramezani, Elahe Fazeldehkordi. Accepted to ''[http://ifm2017.di.unito.it/program.php 13th International Conference on Integrated Formal Methods (iFM'17)]'' Torino, Italy, September. To appear in Lecture Notes in Computer Science 10510, pages 263--278, Springer, 2017  [[:Media:olaf_paper_2.pdf|Link to Authors Draft]]
 
# '''Hoare-style Reasoning from Multiple Contracts'''. By Olaf Owe, Toktam Ramezani, Elahe Fazeldehkordi. Accepted to ''[http://ifm2017.di.unito.it/program.php 13th International Conference on Integrated Formal Methods (iFM'17)]'' Torino, Italy, September. To appear in Lecture Notes in Computer Science 10510, pages 263--278, Springer, 2017  [[:Media:olaf_paper_2.pdf|Link to Authors Draft]]
 
# '''Offline Trusted Device and Proxy Architecture based on a new TLS Switching technique'''. By Denis Migdal, Christian Johansen and Audun Josang. Accepted to ''[http://www.siot-workshop.org/#program Workshop on Secure Internet of Things (SIoT 2017)]'' held in conjunction with the European Symposium on Research in Computer Security (ESORICS 2017). To appear in IEEE (10 pages) [[:Media:christian_paper_1.pdf|Link to Authors Draft]]
 
# '''Offline Trusted Device and Proxy Architecture based on a new TLS Switching technique'''. By Denis Migdal, Christian Johansen and Audun Josang. Accepted to ''[http://www.siot-workshop.org/#program Workshop on Secure Internet of Things (SIoT 2017)]'' held in conjunction with the European Symposium on Research in Computer Security (ESORICS 2017). To appear in IEEE (10 pages) [[:Media:christian_paper_1.pdf|Link to Authors Draft]]
 +
 +
== Workshop contributions ==
 +
These are publications with dissemination purposes which do not go through a very thorough reviewing process as the ones above, and are not considered as Level 1&2 publications usually.
 +
 +
# '''Code Diversification Mechanisms for Securing the Internet of Things''', by Shukun Tokas, Olaf Owe and Christian Johansen, to be presented in the 29th Nordic Workshop on Programming Theory (NWPT'17) on 1-3 November 2017 in Turku, Finland.
  
 
== Under review ==
 
== Under review ==

Revision as of 07:07, 21 September 2017

Publications
Home Meetings Publications Deliverables Student corner Factpage
English-Language-icon.png

Publications in DiversIoT

Peer-reviewed articles in well established venues

These are publications that have gone through a very thorough reviewing process, and are published in well established venues like Springer, Elsevier, IEEE, ACM, etc, and are usually considered as Level 1&2 publications in the Norwegian system.

  1. Confidentiality of Interactions in Concurrent Object-Oriented Systems. By Olaf Owe, Toktam Ramezani. In proceedings of 12th International Workshop on Data Privacy Management (DPM 2017) Lecture Notes in Computer Science 10436, pages 19--34, Springer, 2017. Link to Authors Draft
  2. Hoare-style Reasoning from Multiple Contracts. By Olaf Owe, Toktam Ramezani, Elahe Fazeldehkordi. Accepted to 13th International Conference on Integrated Formal Methods (iFM'17) Torino, Italy, September. To appear in Lecture Notes in Computer Science 10510, pages 263--278, Springer, 2017 Link to Authors Draft
  3. Offline Trusted Device and Proxy Architecture based on a new TLS Switching technique. By Denis Migdal, Christian Johansen and Audun Josang. Accepted to Workshop on Secure Internet of Things (SIoT 2017) held in conjunction with the European Symposium on Research in Computer Security (ESORICS 2017). To appear in IEEE (10 pages) Link to Authors Draft

Workshop contributions

These are publications with dissemination purposes which do not go through a very thorough reviewing process as the ones above, and are not considered as Level 1&2 publications usually.

  1. Code Diversification Mechanisms for Securing the Internet of Things, by Shukun Tokas, Olaf Owe and Christian Johansen, to be presented in the 29th Nordic Workshop on Programming Theory (NWPT'17) on 1-3 November 2017 in Turku, Finland.

Under review

  1. A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse. By Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu. Under second review for Elsevier's Journal of Logical and Algebraic Methods in Programming (Norwegian level 2). (37 pages)

Related Work

Some of the most relevant related works are listed here with links to where they can be retrieved (for convenience of the partners).

in Journal ACM Computing Surveys; by Benoit Baudry (INRIA Rennes) and Martin Monperrus (Université de Lille).

by Okhravi, H ; Rabe, M A ; Mayberry, T J ; Leonard, W G ; Hobson, T R ; Bigelow, D ; Streilein, W W; from MIT Defence Technical Information Centre