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

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)Bitsquatting: exploiting bit-flips for fun, or profit?, , , , , und . WWW, Seite 989-998. International World Wide Web Conferences Steering Committee / ACM, (2013)Abstract Congruence Criteria for Weak Bisimilarity., , , und . CoRR, (2020)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)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)Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature., , , und . J. Object Technol., 3 (2): 27-35 (2004)Linear capabilities for fully abstract compilation of separation-logic-verified code., , und . Proc. ACM Program. Lang., 3 (ICFP): 84:1-84:29 (2019)Preface., , und . Sci. Comput. Program., 74 (1-2): 1 (2008)Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2., und . CCS, Seite 1313-1328. ACM, (2017)