Dec 1, 2014
Schedule
The seminar takes place from the 2nd through the 5th of March 2015. An excursion to Kamakura (an old town famous for the Buddha statue) is planned in the afternoon of the 4th. Presentations will be 45 minutes including interactive questions and comments.
- March 1st (Sun): Check-in. Welcome banquet.
- March 2nd (Mon): Opening. Morning session and afternoon session.
- March 3rd (Tue): Morning session and afternoon session.
- March 4th (Wed): Morning session. Excursion.
- March 5th (Thu): Personal discussions. Check-out.
Monday, March 2nd
| Time | Author(s) | Title |
|---|---|---|
| 9:45 – 10:00 |
Organizers | Opening |
| 10:00 – 10:45 |
Arun Lakhotia | Malware analysis in-the-large |
| 10:45 – 11:30 |
Guillaume Bonfante | On malware chat on the web |
| Lunch | ||
| 13:30 – 14:15 |
Jean-Yves Marion | Disassembly of Self-modifying binaries with overlapping instructions |
| 14:15 – 15:00 |
Sébastien Bardin | Binary-level analysis: from safety to security |
| 15:00 – 16:15 |
Jeffrey T. McDonald | Developing an Extensible Deobfuscation Framework |
Tuesday, March 3rd
| 9:30 – 10:15 |
Akira Mori and Tomonori Izumida |
Methods for the Whole Program Analysis of Binary Code |
| 10:15 – 11:00 |
Quan Thanh Tho | BE-PUM: A Tool of Binary Emulation for PUshdown Model Generation |
| 11:00 – 11:45 |
Nguyen Minh Hai | Pushdown Model Generation for Malware Deobfuscation |
| Lunch | ||
| 13:30 – 14:15 |
Sandrine Blazy | Towards an obfuscating compiler |
| 14:15 – 15:00 |
Julian Kranz | IR Preprocessing using GDSL |
| Break | ||
| 15:30 – 16:15 |
Frédéric Besson | Semantics models for binary code |
| 16:15 – 17:00 |
Tachio Terauchi | Information flow analysis and its applications to computer security |
Wednesday, March 4th
| 9:00 –? 9:45 |
Thomas Dullien and Tim Kornau |
Analysis of binaries at Google – The unreasonable success of nonsemantic methods |
| 9:45 – 10:30 |
Roberto Giacobazzi | Abstract Symbolic Automata – Mixed syntactic/semantic similarity analysis of executables |
| 10:30 – 11:15 |
Abdullah Mohad Zin | Common Modeling Language for Model Checkers |
| 11:15 – 12:00 |
Mizuhito Ogawa | Constant propagation for binary CFG rebuilt |
| Lunch | ||
| Excursion to Kamakura | ||