TU Darmstadt / ULB / TUbiblio

Jakstab: A Static Analysis Platform for Binaries

Kinder, Johannes and Veith, Helmut (2008):
Jakstab: A Static Analysis Platform for Binaries.
5123, In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), Springer, pp. 423--427, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Kinder, Johannes and Veith, Helmut
Title: Jakstab: A Static Analysis Platform for Binaries
Language: German
Journal or Publication Title: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Title of Book: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Volume: 5123
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
Identification Number: TUD-CS-2008-1121
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item