Difference between revisions of "DiversIoT:Publications"
From its-wiki.no
(→Related Work) |
(→Publications in DiversIoT) |
||
| Line 1: | Line 1: | ||
= Publications in DiversIoT = | = Publications in DiversIoT = | ||
| + | == Published/Presented == | ||
| + | # '''Confidentiality of Interactions in Concurrent Object-Oriented Systems'''. By Olaf Owe, Toktam Ramezani. Accepted to ''12th International Workshop on Data Privacy Management (DPM 2017)''. To appear in Lecture Notes in Computer Science, Springer, 2017 (18 pages). | ||
| + | # '''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, Springer, 2017 (15 pages) | ||
| + | # '''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) | ||
| + | |||
| + | == In preparation == | ||
| + | # '''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 = | = Related Work = | ||
Revision as of 18:17, 14 September 2017
| Publications | |||||||
|---|---|---|---|---|---|---|---|
|
|
Publications in DiversIoT
Published/Presented
- Confidentiality of Interactions in Concurrent Object-Oriented Systems. By Olaf Owe, Toktam Ramezani. Accepted to 12th International Workshop on Data Privacy Management (DPM 2017). To appear in Lecture Notes in Computer Science, Springer, 2017 (18 pages).
- 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, Springer, 2017 (15 pages)
- 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)
In preparation
- 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