Introduction to Automated Binary Analysis
Video Player
Playlists:
'gpn17' videos starting here
/
audio
/
related events
Media error: Format(s) not supported or source(s) not found
Download File: https://berlin-ak.ftp.media.ccc.de//events/gpn/gpn17/h264-hd/gpn17-8585-deu-Introduction_to_Automated_Binary_Analysis_hd.mp4Download File: https://mirrors.dotsrc.org/cdn.media.ccc.de//events/gpn/gpn17/webm-hd/gpn17-8585-deu-Introduction_to_Automated_Binary_Analysis_webm-hd.webmDownload File: https://dortmund.media.ccc.de//events/gpn/gpn17/h264-sd/gpn17-8585-deu-Introduction_to_Automated_Binary_Analysis_sd.mp4Download File: https://dortmund.media.ccc.de//events/gpn/gpn17/webm-sd/gpn17-8585-deu-Introduction_to_Automated_Binary_Analysis_webm-sd.webm00:00
00:00 | 00:00
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)?
