DiversIoT:Publications

From its-wiki.no

Revision as of 18:49, 14 September 2017 by Olaf (Talk | contribs)

Jump to: navigation, search
Publications
Home Meetings Publications Deliverables Student corner Factpage
English-Language-icon.png

Publications in DiversIoT

Published/Presented

  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

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