Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

ALGOMOVE - A Move Embedding for Algorand., , , , und . Blockchain, Seite 62-67. IEEE, (2023)Sub-session hijacking on the web: Root causes and prevention., , und . J. Comput. Secur., 27 (2): 233-257 (2019)On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.. ELP, Volume 660 von Lecture Notes in Computer Science, Seite 205-215. Springer, (1992)Channel abstractions for network security., und . Math. Struct. Comput. Sci., 20 (1): 3-44 (2010)Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication., , , und . WWW, Seite 189-200. ACM, (2014)Static vs Dynamic Typing for Access Control in Pi-Calculus., , und . ASIAN, Volume 4846 von Lecture Notes in Computer Science, Seite 282-296. Springer, (2007)Writing Real-Time .Net Games in Casanova., , , , , und . ICEC, Volume 7522 von Lecture Notes in Computer Science, Seite 341-348. Springer, (2012)AnBx - Security Protocols Design and Verification., und . ARSPA-WITS, Volume 6186 von Lecture Notes in Computer Science, Seite 164-184. Springer, (2010)Formal Verification of Liferay RBAC., , und . ESSoS, Volume 8978 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2015)Automatic and Robust Client-Side Protection for Cookie-Based Sessions., , , und . ESSoS, Volume 8364 von Lecture Notes in Computer Science, Seite 161-178. Springer, (2014)