TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Kinder, Johannes :
Static Analysis of x86 Executables.
[Online-Edition: urn:nbn:de:tuda-tuprints-23388]
Technische Universit├Ąt Darmstadt
[Ph.D. Thesis], (2010)

Kinder, Johannes and Veith, Helmut
Bloem, Roderick and Sharygina, Natasha (eds.) :

Precise Static Analysis of Untrusted Driver Binaries.
Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010) IEEE Computer Society
[Conference or Workshop Item] , (2010)

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)

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

This list was generated on Sat May 25 01:51:57 2019 CEST.