TU Darmstadt / ULB / TUbiblio

Jakstab: A Static Analysis Platform for Binaries

Kinder, Johannes ; Veith, Helmut :
Jakstab: A Static Analysis Platform for Binaries.
In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008) , 5123 Springer
[ Konferenzveröffentlichung] , (2008)

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2008
Autor(en): Kinder, Johannes ; Veith, Helmut
Titel: Jakstab: A Static Analysis Platform for Binaries
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Buchtitel: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Band: 5123
Verlag: Springer
Freie Schlagworte: Secure Services
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Hinterlegungsdatum: 30 Dez 2016 20:23
ID-Nummer: TUD-CS-2008-1121
Verwandte URLs:
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen