Autor der Publikation

NetQi: A Model Checker for Anticipation Game.

. ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 246-251. Springer, (2008)

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

Toward Secure Embedded Web Interfaces., , , und . USENIX Security Symposium, USENIX Association, (2011)TrackBack spam: abuse and prevention., , und . CCSW, Seite 3-10. ACM, (2009)I am a legend: Hacking hearthstone using statistical learning methods.. CIG, Seite 1-8. IEEE, (2016)NetQi: A Model Checker for Anticipation Game.. ATVA, Volume 5311 von Lecture Notes in Computer Science, Seite 246-251. Springer, (2008)Designing Toxic Content Classification for a Diversity of Perspectives., , , , , , , und . SOUPS @ USENIX Security Symposium, Seite 299-318. USENIX Association, (2021)The Security Impact of HTTPS Interception., , , , , , , , und . NDSS, The Internet Society, (2017)Identifying and Mitigating the Security Risks of Generative AI., , , , , , , , , und 13 andere Autor(en). Found. Trends Priv. Secur., 6 (1): 1-52 (2023)Dialing Back Abuse on Phone Verified Accounts., , , , , und . ACM Conference on Computer and Communications Security, Seite 465-476. ACM, (2014)The emergence of cross channel scripting., , und . Commun. ACM, 53 (8): 105-113 (2010)Extending Anticipation Games with Location, Penalty and Timeline.. Formal Aspects in Security and Trust, Volume 5491 von Lecture Notes in Computer Science, Seite 272-286. Springer, (2008)