TU Darmstadt / ULB / TUbiblio

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

Kinder, Johannes ; Veith, Helmut ; Zuleger, Florian (2009)
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
doi: 10.1007/978-3-540-93900-9_19
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2009
Autor(en): Kinder, Johannes ; Veith, Helmut ; Zuleger, Florian
Art des Eintrags: Bibliographie
Titel: An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Sprache: Deutsch
Publikationsjahr: Januar 2009
Verlag: Springer
Buchtitel: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 5403
DOI: 10.1007/978-3-540-93900-9_19
Freie Schlagworte: Secure Services
ID-Nummer: TUD-CS-2009-0205
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Hinterlegungsdatum: 30 Dez 2016 20:23
Letzte Änderung: 17 Mai 2018 13:02
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen