Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 209 << Forrige 1 2 3 4 5    Neste >>

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
 
    Vis neste liste