TU Darmstadt / ULB / TUbiblio

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

Kinder, Johannes and Veith, Helmut and Zuleger, Florian (2009):
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.
5403In: Lecture Notes in Computer Science, In: Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009), Springer, pp. 214-228, DOI: 10.1007/978-3-540-93900-9_19,
[Conference or Workshop Item]

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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item