Introduction to Automated Binary Analysis

ZKM-Vortragssaal
Florian Magin
Mit dem Finale der DARPA Cyber Grand Challenge auf der DEFCON 2016 hat automatische Programmanalyse große Aufmerksamkeit auch außerhalb der akademischen und IT-Sicherheitswelt erlangt. Aber wie funktioniert eigentlich ein Programm das andere Programme analysiert? Sagt die theoretische Informatik nicht dass dies allgemein unmöglich ist (siehe Halte-Problem, Rice's Theorem)?
Eventuell haben manche schon von "Symbolic Execution", "Taint Analysis", "SMT-Solving" oder ähnlichem gehört. Im Vortrag werden diese und andere Techniken die bei automatischer Analyse von Programmen, ob Sourcecode basiert oder direkt Binaries, verwendet werden können vorgestellt. Es wird eine kleine Übersicht über existierende Frameworks geben, welche man davon aus welchen Gründen benutzen will und wie man kompliziert aussehende Probleme plötzlich in wenigen Zeilen Python lösen kann.

Additional information

Type lecture
Language German

More sessions

5/25/17
GPN
obelix
Medientheater
Was auf der GPN17 passieren wird und was ihr wissen müsst.
5/25/17
Sarah
Medientheater
Einführung für die Infotrolle
5/25/17
GPN
Medientheater
TechTalk über die Entwicklung des GulaschPushNotifier.
5/25/17
Nadja
ZKM-Vortragssaal
queer_lectures des AStA am KIT
5/25/17
GPN
Muelli
Studio
GNOME is a desktop that cares about its users and their freedom. To be free also includes to have the freedom to use your computer without having to fear of getting compromised or anyone listening to your communication. GNOME takes tries hard to put the user back into the control seat regarding security and privacy. We will see two examples of how GNOME gives you back that control. The first is a classic: The problem of signing OpenPGP keys. The second is the protection against malicious USB ...
5/25/17
GPN
starbug
Medientheater
Die Iriserkennung verdraengt den Fingerabdruck bei mobilen Endgeraeten. Sicherer ist diese aber auch nicht. Dieser Vortrag zeigt, wie man die Iriserkennung des neuen Samsung Galaxy S8 ueberwinden kann.
5/25/17
Fraxinas
ZKM-Vortragssaal
A Photobooth is an automatic unit that takes photos with a DSLR camera, shows a preview on a touchscreen and allows users to print them. The Schaffenburg Hackerspace designed and built such a machine from scratch.