A secrecy-preserving language for distributed and object-oriented systems T Ramezanifarkhani, O Owe, S Tokas Journal of logical and algebraic methods in programming 99, 1-25, 2018 | 11 | 2018 |
A formal framework for consent management S Tokas, O Owe International Conference on Formal Techniques for Distributed Objects …, 2020 | 7 | 2020 |
Language-based mechanisms for privacy-by-design S Tokas, O Owe, T Ramezanifarkhani IFIP International Summer School on Privacy and Identity Management, 142-158, 2019 | 4 | 2019 |
Static checking of GDPR-related privacy compliance for object-oriented distributed systems S Tokas, O Owe, T Ramezanifarkhani Journal of Logical and Algebraic Methods in Programming 125, 100733, 2022 | 2 | 2022 |
A Systematic Mapping Study on Cyber Security Indicator Data PH Meland, S Tokas, G Erdogan, K Bernsmed, A Omerovic Electronics 10 (9), 1092, 2021 | 2 | 2021 |
Code Diversification Mechanisms for Internet of Things (Revised Version 2) S Tokas, O Owe, C Johansen Research report http://urn. nb. no/URN: NBN: no-35645, 2020 | | 2020 |
Language-Based Support for GDPR-Related Privacy Requirements S Tokas, T Ramezanifarkhani Workshop on Programming Theory, 70, 2018 | | 2018 |
A Secrecy-Preserving Language for Distributed and Object-Oriented Systems $ May 8, 2018 T Ramezanifarkhani, O Owe, S Tokas | | 2018 |
A Secrecy-Preserving Language for Distributed and Object-Oriented SystemsI March 6, 2018 T Ramezanifarkhani, O Owe, S Tokas | | 2018 |
Needs and Challenges Concerning Cyber-Risk Assessment in the Cyber-Physical Smart Grid G Erdogan, IA Tøndel, S Tokas, M Garau, MG Jaatun | | |
Survey of Security Diversification Mechanisms for Internet of Things (long version) S Tokas, O Owe, C Johansen | | |
Code Diversification Mechanisms for Securing the Internet of Things S Tokas, O Owe, C Johansen Marina Waldén (Editor), 10, 0 | | |