Autor der Publikation

Analysis of Low-Level Code Using Cooperating Decompilers.

, , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 318-335. Springer, (2006)

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

Using Dependent Types to Certify the Safety of Assembly Code., und . SAS, Volume 3672 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2005)Analysis of Low-Level Code Using Cooperating Decompilers., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 318-335. Springer, (2006)Dependent Types for Low-Level Programming., , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques., , , , , , , und . OSDI, Seite 45-60. USENIX Association, (2006)XJ: facilitating XML processing in Java., , , , , , und . WWW, Seite 278-287. ACM, (2005)Complex Queries un DHT-based Peer-to-Peer Networks, , und . Proceedings for the 1st International Workshop on Peer-to-Peer Systems (IPTPS '02), Cambridge, MA, USA, (März 2002)CCured in the real world., , , , und . PLDI, Seite 232-244. ACM, (2003)Complex Queries in DHT-based Peer-to-Peer Networks., , , , , und . IPTPS, Volume 2429 von Lecture Notes in Computer Science, Seite 242-259. Springer, (2002)XJ: integration of XML processing into java., , , , , und . WWW (Alternate Track Papers & Posters), Seite 340-341. ACM, (2004)Lightweight Wrappers for Interfacing with Binary Code in CCured., und . ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 209-225. Springer, (2003)