Shukun Tokas

Emneord: Privacy, Data Protection, GDPR, Privacy by Design, Static Analysis, Runtime Verification, Language-based enforcement

Publikasjoner

  • Tokas, Shukun & Owe, Olaf (2020). A Formal Framework for Consent Management, In Ana Sokolova (ed.),  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.  ISBN 978-3-030-50086-3.  Chapter 10.  s 169 - 186 Vis sammendrag
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2020). Language-Based Mechanisms for Privacy-by-Design, In Michael Friedewald (ed.),  Privacy and Identity Management. Data for Better Living: AI and Privacy.  Springer Nature.  ISBN 978-3-030-42503-6.  Kapittel.  s 142 - 158 Vis sammendrag
  • Tokas, Shukun & Owe, Olaf (2019). A Formal Framework for Consent Management, In Tarmo Uustalu (ed.),  Proceedings of the 31st Nordic Workshop on Programming Theory.  Tallinn University of Technology.  ISBN 978-994-98-3520-1.  kapittel.  s 73 - 76
  • Ramezanifarkhani, Toktam; Owe, Olaf & Tokas, Shukun (2018). A secrecy-preserving language for distributed and object-oriented systems. Journal of Logical and Algebraic Methods in Programming.  ISSN 2352-2208.  99, s 1- 25 . doi: 10.1016/j.jlamp.2018.04.001 Fulltekst i vitenarkiv.
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2018). Language-Based Support for GDPR-Related Privacy Requirements, In Daniel Schnetzer Fava; Einar Broch Johnsen & Olaf Owe (ed.),  Proceedings of the 30th Nordic Workshop on Programming Theory.  Universitetet i Oslo.  ISBN 978-82-7368-450-9.  kapittel.  s 70 - 72
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2017). Code Diversification Mechanisms for Securing the Internet of Things, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  kapittel.  s 10 - 12

Se alle arbeider i Cristin

  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2020). Code Diversification Mechanisms for Internet of Things (Revised Version 2). Fulltekst i vitenarkiv.
  • Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam (2019). Language-Based Mechanisms for Privacy by Design.
  • Tokas, Shukun & Ramezanifarkhani, Toktam (2018). Language-Based Support for GDPR-Related Privacy Requirements.
  • Tokas, Shukun; Owe, Olaf & Johansen, Christian (2017). Code Diversification Mechanisms for Securing the Internet of Things.
  • sinha, suruchi; Devi, Santha; Tokas, Shukun & kareer, vanita (2016). Quantum cryptanalysis using digital ant in pervasive environment.
  • sinha, suruchi & Tokas, Shukun (2014). Study on Agents Based Meta-Heuristic Approach for Cyber Security Defense Mechanism.

Se alle arbeider i Cristin

Publisert 7. sep. 2016 13:42 - Sist endret 18. feb. 2020 18:36