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
|
2023
|
2. |
Arshad, Hamed; Picazo Sanchez, Pablo; Johansen, Christian; Schneider, Gerardo. Attribute-based encryption with enforceable obligations. Journal of Cryptographic Engineering (JCEN) 2023 s. - UiO NTNU
Untitled
|
|
3. |
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. Catoids and modal convolution algebras. Algebra Universalis 2023 ;Volum 84.(2) s. - NTNU
Untitled
|
|
4. |
Szalkowski, Gabriel Andy; Johansen, Christian. Defining and measuring the effects of digital technologies on social sustainability: A systematic literature review. Sustainable Development 2023 s. - NTNU
Untitled
|
2022
|
5. |
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
|
|
6. |
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
|
|
7. |
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
|
|
8. |
Aubert, Clement; Horne, Ross; Johansen, Christian. Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. Leibniz International Proceedings in Informatics 2022 ;Volum 30. s. 1-26 NTNU
Untitled
|
|
9. |
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. A Kleene Theorem for Higher-Dimensional Automata. Leibniz International Proceedings in Informatics 2022 ;Volum 243. s. 1-18 NTNU
Untitled
|
|
10. |
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. Domain Semirings United. Acta Cybernetica 2022 ;Volum 25.(3) s. 575-583 NTNU
Untitled
|
|
11. |
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. Posets with interfaces as a model for concurrency. Information and Computation 2022 ;Volum 285. s. - NTNU
Untitled
|
|
12. |
Aubert, Clement; Horne, Ross; Johansen, Christian. Bisimulations Respecting Duration and Causality for the Non-interleaving Applied Pi-Calculus. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2022 ;Volum 368. s. 3-22 NTNU
Untitled
|
|
13. |
Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold; Zwingelberg, Harald; Sivesind, Anders Jakob; Noll, Josef. A multidisciplinary definition of privacy labels. Information and Computer Security 2022 ;Volum 30.(3) s. 452-469 FORSV UiO ONH NTNU
Untitled
|
2021
|
14. |
Calk, Cameron; Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. lr-Multisemigroups, Modal Quantales and the Origin of Locality. Lecture Notes in Computer Science (LNCS) 2021 ;Volum 13027. s. 90-107 NTNU
Untitled
|
|
15. |
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof. Languages of higher-dimensional automata. Mathematical Structures in Computer Science 2021 ;Volum 31.(5) s. 575-613 NTNU
Untitled
|
|
16. |
Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof. Sculptures in concurrency. Logical Methods in Computer Science 2021 ;Volum 17.(2) s. 1-32 NTNU UiO
Untitled
|
|
17. |
Johansen, Christian; Aulon, Mujaj; Arshad, Hamed; Noll, Josef. The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications. Security and Communication Networks 2021 s. - UiO
Untitled
|
|
18. |
Johansen, Johanna; Noll, Josef; Johansen, Christian. InfoInternet for education in the Global South: A study of applications enabled by free information-only internet access in technologically disadvantaged areas. African Journal of Science, Technology, Innovation and Development (AJSTID) 2021 s. 1-14 UiO NTNU
Untitled
|
|
19. |
Johansen, Johanna; Pedersen, Tore; Johansen, Christian. Studying human-to-computer bias transference. AI & Society: The Journal of Human-Centred Systems and Machine Intelligence 2021 s. - UiO ONH NTNU FORSV
Untitled
|
|
20. |
Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin. SAT modulo discrete event simulation applied to railway design capacity analysis. Formal methods in system design 2021 ;Volum 57. s. 211-245 NTNU UiO SINTEF
Untitled
|
|
21. |
Luteberget, Bjørnar Steinnes; Johansen, Christian. Drawing with SAT: four methods and A tool for producing railway infrastructure schematics. Formal Aspects of Computing 2021 ;Volum 33. s. 829-854 SINTEF NTNU
Untitled
|
|
22. |
; 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
|
2020
|
23. |
Shrestha, Manish; Johansen, Christian; Noll, Josef; Roverso, Davide. A Methodology for Security Classification applied to Smart Grid Infrastructures. International Journal of Critical Infrastructure Protection 2020 ;Volum 28. s. - UiO
Untitled
|
|
24. |
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Thapa, Ratan Bahadur. Generating Posets Beyond N. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12062. s. 82-99 UiO
Untitled
|
|
25. |
Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef. Tool Support for Security Classification for Internet of Things (long version). Universitetet i Oslo 2020 (ISBN 978-82-7368-460-8) 33 s. UiO
Untitled
|
|
26. |
Shrestha, Manish; Johansen, Christian; Noll, Josef. Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT. I: International Conference on Fog and Mobile Edge Computing (FMEC). IEEE conference proceedings 2020 ISBN 978-1-7281-7216-3. s. 244-249 NTNU UiO
Untitled
|
|
27. |
Shrestha, Manish; Johansen, Christian; Noll, Josef. Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version). Universitetet i Oslo 2020 (ISBN 978-82-7368-458-5) 22 s. UiO
Untitled
|
|
28. |
Shrestha, Manish; Johansen, Christian; Noll, Josef. Criteria for security classification of smart home energy management systems. Lecture Notes in Electrical Engineering 2020 ;Volum 684. s. 157-165 UiO
Untitled
|
|
29. |
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
|
2019
|
30. |
Hildebrandt, Thomas; Johansen, Christian; Norman, Håkon. A stable non-interleaving early operational semantics for the pi-calculus. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 104. s. 227-253 UiO
Untitled
|
|
31. |
Johansen, Christian; Owe, Olaf. Dynamic Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming 2019 ;Volum 107. s. 79-107 UiO
Untitled
|
|
32. |
Johansen, Christian; Owe, Olaf. Summary of: Dynamic Structural Operational Semantics. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918. s. 525-528 UiO
Untitled
|
|
33. |
Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin. Synthesis of railway signaling layout from local capacity specifications. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11800 LNCS. s. 121-137 UiO
Untitled
|
|
34. |
Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian. Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11918 LNCS. s. 341-359 UiO
Untitled
|
|
35. |
Pedersen, Tore; Johansen, Christian. Behavioural artificial intelligence: an agenda for systematic empirical studies of artificial inference. AI & Society: The Journal of Human-Centred Systems and Machine Intelligence 2019 s. - UiO ONH
Untitled
|
|
36. |
Shrestha, Manish; Johansen, Christian; Noll, Josef. Criteria for Security Classification of Smart Home Energy Management Systems (long version). Universitetet i Oslo 2019 (ISBN 978-82-7368-457-8) 22 s. UiO
Untitled
|
2018
|
37. |
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
|
|
38. |
Noll, Josef; Garitano, Iñaki; Johansen, Christian; Del Ser, Javier; Arenaza-Nuno, Ignacio. Perspectives in Secure SMART Environments. I: Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems : The SHIELD Methodology. CRC Press 2018 ISBN 9781138042759. s. 337-358 UiO
Untitled
|
|
39. |
Pedersen, Tore; Johansen, Christian; Jøsang, Audun. Behavioural Computer Science: an agenda for combining modelling of human and system behaviours. Human-centric Computing and Information Sciences 2018 ;Volum 8:7. s. - ONH FORSV UiO
Untitled
|
2017
|
40. |
Bursuc, Sergiu; Johansen, Christian; Xu, Shiwei. Automated verification of dynamic root of trust protocols. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10204 LNCS. s. 95-116 UiO
Untitled
|
|
41. |
Hildebrandt, Thomas; Johansen, Christian; Normann, Håkon. A stable non-interleaving early operational semantics for the Pi-calculus. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10168 LNCS. s. 51-63 UiO
Untitled
|
|
42. |
Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef. Comparing Implementations of Secure Messaging Protocols (long version). Universitetet i Oslo 2017 (ISBN 978-82-7368-440-0) 62 s. UiO
Untitled
|
|
43. |
Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. Participatory verification of railway infrastructure by representing regulations in RailCNL. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10469 LNCS. s. 87-103 UiO
Untitled
|
|
44. |
Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian; Schneider, Gerardo. Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Oslo: Universitetet i Oslo 2017 (ISBN 978-82-7368-430-1) 33 s. UiO
Untitled
|
|
45. |
Luteberget, Bjørnar Steinnes; Johansen, Christian. Efficient verification of railway infrastructure designs against standard regulations. Formal methods in system design 2017 ;Volum 52.(1) s. 1-32 UiO
Untitled
|
|
46. |
Pedersen, Tore; Johansen, Christian; Jøsang, Audun. Intelligence Analysis: Reflections on the Future Human - Machine Analytic Enterprise from a Behavioral Computer Science Perspective. AF Security Seminar Series; 2017-06-16 - 2017-06-16 UiO
Untitled
|
|
47. |
Shrestha, Manish; Johansen, Christian; Noll, Josef. Security Classification for Smart Grid Infra structures (long version). Universitetet i Oslo 2017 (ISBN 978-82-7368-441-7) 44 s. UiO
Untitled
|
|
48. |
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
|
|
49. |
Tokas, Shukun; Owe, Olaf; Johansen, Christian. Code Diversification Mechanisms for Securing the Internet of Things. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. s. 10-12 UiO
Untitled
|
2016
|
50. |
Johansen, Christian. ST-structures. Journal of Logical and Algebraic Methods in Programming 2016 ;Volum 85.(6) s. 1201-1233 UiO
Untitled
|