TU Darmstadt / ULB / TUbiblio

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

Kinder, Johannes and Veith, Helmut and Zuleger, Florian :
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
In: Lecture Notes in Computer Science , 5403 . Springer
[Conference or Workshop Item] , (2009)

Item Type: Conference or Workshop Item
Erschienen: 2009
Creators: Kinder, Johannes and Veith, Helmut and Zuleger, Florian
Title: An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Language: German
Title of Book: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)
Series Name: Lecture Notes in Computer Science
Volume: 5403
Publisher: Springer
Uncontrolled Keywords: Secure Services
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 30 Dec 2016 20:23
DOI: 10.1007/978-3-540-93900-9_19
Identification Number: TUD-CS-2009-0205
Export:

Optionen (nur für Redakteure)

View Item View Item