2026-07-23T19:43:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3458 2024-03-06T10:25:48Z ddc:004 open_access

Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051) King, Andy M. Mycroft, Alan Reps, Thomas W. Simon, Axel Executable analysis reverse engineering malware detection control flow reconstruction emulators binary instrumentation This report documents the program and the outcomes of Dagstuhl Seminar 12051 ``Analysis of Executables: Benefits and Challenges''. The seminar had two focus groups: security engineers who need to find bugs in existing software systems and people in academia who try to build automated tools to prove correctness. The meeting of these diverse groups was beneficial and productive for all involved. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Andy M. King and Alan Mycroft and Thomas W. Reps and Axel Simon 2012 Is Part Of Dagstuhl Reports, Volume 2, Issue 1 (2012) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.2.1.100 urn:nbn:de:0030-drops-34585 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.100 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode