Difference between revisions of "DiversIoT:Publications"
From its-wiki.no
(→Under review) |
(→Under review) |
||
Line 17: | Line 17: | ||
# '''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 [https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/ Journal of Logical and Algebraic Methods in Programming] (Norwegian level 2). (37 pages) | # '''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 [https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/ Journal of Logical and Algebraic Methods in Programming] (Norwegian level 2). (37 pages) | ||
# '''Dynamic Structural Operational Semantics'''. By Christian Johansen, Olaf Owe. Under first review for Elsevier's [https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/ Journal of Logical and Algebraic Methods in Programming] (Norwegian level 2). (32 pages) [[:Media:christian_paper_3.pdf|Link to Authors Draft]] | # '''Dynamic Structural Operational Semantics'''. By Christian Johansen, Olaf Owe. Under first review for Elsevier's [https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/ Journal of Logical and Algebraic Methods in Programming] (Norwegian level 2). (32 pages) [[:Media:christian_paper_3.pdf|Link to Authors Draft]] | ||
− | # '''Assumption-Commitment Type System for Resource Management in Virtually Timed Ambients'''. By Einar Broch Johnsen and Martin Steffen and Johanna Beate Stumpf. Submitted to [ | + | # '''Assumption-Commitment Type System for Resource Management in Virtually Timed Ambients'''. By Einar Broch Johnsen and Martin Steffen and Johanna Beate Stumpf. Submitted to [https://www.etaps.org/2018 ETAPS'18] (Norwegian level 1 Springer LNCS). (15 pages) [[:Media:steffen_paper_1.pdf|Link to Authors Draft]] |
− | # '''An Operational Semantics for a Weak Memory Model with Channel Synchronization'''. By Daniel Fava and Martin Steffen and Volker Stolz and Stian Valle. Submitted to [ | + | # '''An Operational Semantics for a Weak Memory Model with Channel Synchronization'''. By Daniel Fava and Martin Steffen and Volker Stolz and Stian Valle. Submitted to [https://www.etaps.org/2018 ETAPS'18] (Norwegian level 1 Springer LNCS). (15 pages) [[:Media:steffen_paper_2.pdf|Link to Authors Draft]] |
= Related Work = | = Related Work = |
Revision as of 10:49, 24 October 2017
Publications | |||||||
---|---|---|---|---|---|---|---|
|
![]() |
Contents
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.
- 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. DOI 10.1007/978-3-319-67816-0_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 DOI 10.1007/978-3-319-66845-1_17
- 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 and Technical reports
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. Link to Authors Draft
- A High-Level Language for Active Objects with Future-Free Support of Futures, by Toktam Ramezanifarkhani, Farzane Karami, and Olaf Owe, to be presented in the 29th Nordic Workshop on Programming Theory (NWPT'17) on 1-3 November 2017 in Turku, Finland. Link to Authors Draft
- Survey of Code Diversification Mechanisms for Securing the Internet of Things (long version), by Shukun Tokas, Olaf Owe and Christian Johansen, Technical report nr. 473, ISBN 978-82-7368-438-7, University of Oslo. 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)
- Dynamic Structural Operational Semantics. By Christian Johansen, Olaf Owe. Under first review for Elsevier's Journal of Logical and Algebraic Methods in Programming (Norwegian level 2). (32 pages) Link to Authors Draft
- Assumption-Commitment Type System for Resource Management in Virtually Timed Ambients. By Einar Broch Johnsen and Martin Steffen and Johanna Beate Stumpf. Submitted to ETAPS'18 (Norwegian level 1 Springer LNCS). (15 pages) Link to Authors Draft
- An Operational Semantics for a Weak Memory Model with Channel Synchronization. By Daniel Fava and Martin Steffen and Volker Stolz and Stian Valle. Submitted to ETAPS'18 (Norwegian level 1 Springer LNCS). (15 pages) Link to Authors Draft
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