Benutzer: Gast  Login
Originaltitel:
Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities 
Übersetzter Titel:
Adaptierbare Statische Analyse von Ausführbaren Dateien um die Abwesenheit von Sicherheitslücken zu beweisen 
Jahr:
2015 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Simon, Axel (Dr.) 
Gutachter:
Simon, Axel (Dr.); Esparza, Javier (Prof. Dr.); Pichardie, David (Prof.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
static analysis, binary analysis, analysis of executables 
Übersetzte Stichworte:
statische analyse, analyse von binärdateien, analyse von ausführbaren dateien 
TU-Systematik:
DAT 500d 
Kurzfassung:
In a world where vulnerabilities in software pose an inherent threat for the networked society, analyzing third-party software, in form of executable programs, becomes increasingly important. While program verification at the source code level has received much attention in the last decades, this thesis focuses on providing a sound and precise analysis framework for binaries, thereby enabling the understanding, auditing, and verification of executable programs. 
Übersetzte Kurzfassung:
In einer Welt in der Sicherheitslücken in Software eine latente Bedrohung der vernetzten Gesellschaft darstellt, wird die Analyse von fremder Software, in der Form von ausführbaren Programmen, immer wichtiger. Während die Verifikation von Quellcode in den letzten Jahrzehnten viel Aufmerksamkeit auf sich gezogen hat, ist das Ziel dieser Arbeit eine Infrastruktur für korrekte Analysen von Binärdateien bereitzustellen, um dadurch das Verstehen und die Verifikation von ausführbaren Programmen zu erm...    »
 
Mündliche Prüfung:
03.02.2015 
Dateigröße:
1547983 bytes 
Seiten:
191 
Letzte Änderung:
25.01.2016