2024
|
1. |
Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A.C.. XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications[Formula presented]. Science of Computer Programming 2024 ;Volum 232. s. - NTNU UiO
Untitled
|
|
2. |
Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf. Assuring GDPR Conformance through Language-Based Compliance. Springer 2024 (ISBN 978-3-031-50758-8) 15 s. IFIP Advances in Information and Communication Technology(--) UiO
Untitled
|
|
3. |
Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf. Integrating Data Privacy Compliance in Active Object Languages. Lecture Notes in Computer Science (LNCS) 2024 ;Volum 14360. UiO
Untitled
|
2023
|
4. |
Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf. Integrating Data Privacy Compliance in Active Object Languages. Universitetet i Oslo 2023 (ISBN 978-82-7368-606-0) 22 s. UiO
Untitled
|
|
5. |
; Karami, Farzane. Language-based Approaches for Enforcing Privacy and Security Policies. : Faculty of Mathematics and Natural Sciences, UiO 2023 150 s. HK UiO
Untitled
|
2022
|
6. |
Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf; Willemse, Tim A. C.. Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. I: Formal Techniques for Distributed Objects, Components, and Systems. 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings. Springer 2022 ISBN 978-3-031-08679-3. s. 11-30 UiO NTNU
Untitled
|
|
7. |
Arshad, Hamed; Johansen, Christian; Owe, Olaf. Semantic Attribute-Based Access Control: A review on current status and future perspectives. Journal of systems architecture 2022 ;Volum 129. UiO NTNU
Untitled
|
|
8. |
Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo; Schneider, Gerardo. Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Information Sciences 2022 UiO NTNU
Untitled
|
|
9. |
Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf; Gruschka, Nils. A Policy Language to Capture Compliance of Data Protection Requirements. Lecture Notes in Computer Science (LNCS) 2022 ;Volum 13274. s. 289-309 UiO
Untitled
|
|
10. |
Owe, Olaf; Fazeldehkordi, Elahe. A lightweight approach to smart contracts supporting safety, security, and privacy. Journal of Logical and Algebraic Methods in Programming 2022 ;Volum 127. s. - UiO
Untitled
|
|
11. |
; Okafor, Lara. Security for marginalized people. (Digital (in) security: safety for queer people of color in a digitalized world). : Faculty of Mathematics and Natural Sciences, UiO 2022 150 s. UiO HK
Untitled
|
2021
|
12. |
; Fazeldehkordi, Elahe. Security and Privacy Solutions in IoT and Distributed Systems Design. : Faculty of Mathematics and Natural Sciences, UiO 2021 150 s. HK UiO NTNU
Untitled
|
|
13. |
; Tokas, Shukun. Analysis and Enforcement of GDPR-related Privacy Principles in Object-Oriented Distributed Systems. : Faculty of Mathematics and Natural Sciences, UiO 2021 150 s. HK UiO SINTEF
Untitled
|
|
14. |
Ramezanifarkhani, Toktam; Owe, Olaf; Yu, Ingrid Chieh. Leadership in Academia. University of Oslo; 2021-01-26 - 2021-01-26 UiO HK
Untitled
|
|
15. |
Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam. Static checking of GDPR-related privacy compliance for object-oriented distributed systems. Journal of Logical and Algebraic Methods in Programming 2021 ;Volum 125. s. - UiO
Untitled
|
2020
|
16. |
Fazeldehkordi, Elahe; Owe, Olaf; Noll, Josef. Security and Privacy Functionalities in IoT. I: 17th International Conference on Privacy, Security and Trust (PST). IEEE conference proceedings 2020 ISBN 978-1-7281-3265-5. s. - UiO
Untitled
|
|
17. |
Fazeldehkordi, Elahe; Owe, Olaf; Ramezanifarkhani, Toktam. A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 11981 LNCS. s. 258-277 UiO
Untitled
|
|
18. |
Karami, Farzane; Owe, Olaf; Schneider, Gerardo. Information-Flow Control by means of Security Wrappers for Active Object Languages with Futures. In Proceedings of The 25th Nordic Conference on Secure IT Systems (NortdSec 2020). To appear in Lecture Notes in Computer Science (17 pages). NORDSEC'2020; 2020-11-23 - 2020-11-24 UiO
Untitled
|
|
19. |
Owe, Olaf; Fazeldehkordi, Elahe; Lin, Jia-Chun. A Framework for Flexible Program Evolution and Verification of Distributed Systems. Communications in Computer and Information Science (CCIS) 2020 ;Volum 1161 CCIS. s. 320-349 NTNU UiO
Untitled
|
|
20. |
Tokas, Shukun; Owe, Olaf. A Formal Framework for Consent Management. I: Formal Techniques for Distributed Objects, Components, and Systems (40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings). Springer Nature 2020 ISBN 978-3-030-50086-3. s. 169-186 UiO
Untitled
|
|
21. |
Tokas, Shukun; Owe, Olaf; Johansen, Christian. Code Diversification Mechanisms for Internet of Things (Revised Version 2). Oslo: University of Oslo 2020 (ISBN 978-82-7368-438-7) 31 s. UiO
Untitled
|
|
22. |
Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam. Language-based mechanisms for privacy-by-design. I: Privacy and Identity Management. Data for Better Living: AI and Privacy. Springer Nature 2020 ISBN 978-3-030-42503-6. s. 142-158 UiO
Untitled
|
2019
|
23. |
Fazeldehkordi, Elahe; Owe, Olaf. Futures, Histories, and Smart Contracts. The 31th Nordic Workshop on Programming Theory - NWPT'19; 2019-11-13 - 2019-11-15 UiO
Untitled
|
|
24. |
Fazeldehkordi, Elahe; Owe, Olaf; Noll, Josef. Security and Privacy Functionalities in IoT. 2019 17th International Conference on Privacy, Security and Trust (PST); 2019-08-26 - 2019-08-28 UiO
Untitled
|
|
25. |
Fazeldehkordi, Elahe; Owe, Olaf; Noll, Josef. Security and privacy in iot systems: A case study of healthcare products. International Symposium on Medical Information and Communication Technology 2019 ;Volum 2019-May. Suppl. IEEE UiO
Untitled
|
|
26. |
Fazeldehkordi, Elahe; Owe, Olaf; Ramezanifarkhani, Toktam. A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. ESORICS'19 - International Workshop on Security for Financial Critical Infrastructures and Services; 2019-09-23 - 2019-09-27 UiO
Untitled
|
|
27. |
Johansen, Christian; Owe, Olaf. Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 107. s. 79-107 UiO
Untitled
|
|
28. |
Johansen, Christian; Owe, Olaf. Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918. s. 525-528 UiO
Untitled
|
|
29. |
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam. Summary of: An Evaluation of Interaction Paradigms for Active Objects. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918. s. 529-533 UiO
Untitled
|
|
30. |
Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. PDS: Deduce elder privacy from smart homes. Internet of Things: Engineering Cyber Physical Human Systems 2019 ;Volum 7. s. - UiO NTNU
Untitled
|
|
31. |
Owe, Olaf; Lin, Jia-Chun; Fazeldehkordi, Elahe. A Flexible Framework for Program Evolution and Verification. I: Modelsward 2019. SciTePress 2019 ISBN 978-989-758-358-2. s. 179-191 UiO
Untitled
|
|
32. |
Tokas, Shukun; Owe, Olaf. A Formal Framework for Consent Management. I: Proceedings of the 31st Nordic Workshop on Programming Theory. : Tallinn University of Technology 2019 ISBN 978-994-98-3520-1. s. 73-76 UiO
Untitled
|
|
33. |
Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam. Language-Based Mechanisms for Privacy by Design. IFIP Summer School on Privacy and Identity Management; 2019-08-19 - 2019-08-23 UiO
Untitled
|
2018
|
34. |
Karami, Farzane; Owe, Olaf; Schneider, Gerardo; Johansen, Christian. The Future Mechanism and Information Flow Security. The 30th Nordic Workshop on Programming Theory, Oslo; 2018-10-24 - 2018-10-26 UiO
Untitled
|
|
35. |
Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 95. s. 82-102 UiO
Untitled
|
|
36. |
Fava, Daniel Schnetzer; Johnsen, Einar Broch; Owe, Olaf. Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo 2018 (ISBN 978-82-7368-450-9) 84 s. UiO
Untitled
|
|
37. |
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam. An Evaluation of Interaction Paradigms for Active Objects. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 103. s. 154-183 UiO
Untitled
|
|
38. |
Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. Advanced Information Networking and Applications 2018 ;Volum 2018-May. s. 996-1002 UiO
Untitled
|
|
39. |
Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. Privacy Mining from IoT-based Smart Homes (Online version). Lecture Notes on Data Engineering and Communications Technologies 2018 s. 304-315 UiO
Untitled
|
|
40. |
Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun. A secrecy-preserving language for distributed and object-oriented systems. Journal of Logical and Algebraic Methods in Programming 2018 ;Volum 99. s. 1-25 UiO
Untitled
|
|
41. |
Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam. Language-Based Support for GDPR-Related Privacy Requirements. I: Proceedings of the 30th Nordic Workshop on Programming Theory. Universitetet i Oslo 2018 ISBN 978-82-7368-450-9. s. 70-72 UiO
Untitled
|
2017
|
42. |
Owe, Olaf; McDowell, Charlie. On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. Journal of Logical and Algebraic Methods in Programming 2017 ;Volum 90. s. 158-175 UiO
Untitled
|
|
43. |
Owe, Olaf; Ramezanifarkhani, Toktam. Confidentiality of Interactions in Concurrent Object-Oriented Systems. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10436. s. 19-34 UiO
Untitled
|
|
44. |
Owe, Olaf; Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe. Hoare-style Reasoning from Multiple Contracts. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10510. s. 263-278 UiO
Untitled
|
|
45. |
Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe; Owe, Olaf. A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 19-21 UiO
Untitled
|
|
46. |
Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe; Owe, Olaf. A Language-Based Approach to Prevent DDoS Attacks in Distributed Object Systems. 29th Nordic Workshop on Programming Theory (NWPT'17); 2017-11-01 - 2017-11-03 UiO
Untitled
|
|
47. |
Ramezanifarkhani, Toktam; Karami, Farzane; Owe, Olaf. A High-Level Language for Active Objects with Future-Free Support of Futures. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 25-27 UiO
Untitled
|
|
48. |
Ramezanifarkhani, Toktam; Karami, Farzane; Owe, Olaf. A High-Level Language for Active Objects with Future-Free Support of Futures. nordic workshop in programming theory; 2017-11-01 - 2017-11-03 UiO
Untitled
|
|
49. |
Ramezanifarkhani, Toktam; Owe, Olaf; Fazeldehkordi, Elahe. Security Functionality of IoT Devices. iFm; 2017-08-01 - 2017-08-02 HK UiO
Untitled
|
|
50. |
Tokas, Shukun; Owe, Olaf; Johansen, Christian. Code Diversification Mechanisms for Securing the Internet of Things. 29th Nordic Workshop on Programming Theory (NWPT'17); 2017-11-01 - 2017-11-03 UiO
Untitled
|