DiversIoT:Publications
From its-wiki.no
Publications | |||||||
---|---|---|---|---|---|---|---|
|
![]() |
Publications in DiversIoT
Published/Presented
- 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
- 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
- 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
- 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