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

Clubbing Seals: Exploring the Ecosystem of Third-party Security Seals., , , und . ACM Conference on Computer and Communications Security, Seite 918-929. ACM, (2014)Practical verification of WPA-TKIP vulnerabilities., und . AsiaCCS, Seite 427-436. ACM, (2013)Abstract Congruence Criteria for Weak Bisimilarity., , , und . CoRR, (2020)Linear capabilities for fully abstract compilation of separation-logic-verified code., , und . Proc. ACM Program. Lang., 3 (ICFP): 84:1-84:29 (2019)Bitsquatting: exploiting bit-flips for fun, or profit?, , , , , und . WWW, Seite 989-998. International World Wide Web Conferences Steering Committee / ACM, (2013)An Implementation of a High Assurance Smart Meter Using Protected Module Architectures., , , , , und . WISTP, Volume 9895 von Lecture Notes in Computer Science, Seite 53-69. Springer, (2016)Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature., , , und . J. Object Technol., 3 (2): 27-35 (2004)Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems., , , und . SC@ETAPS, Volume 4089 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2006)ProSpeCT: Provably Secure Speculation for the Constant-Time Policy., , , , , und . USENIX Security Symposium, Seite 7161-7178. USENIX Association, (2023)Preface., , und . Sci. Comput. Program., 74 (1-2): 1 (2008)