Software Security from ⊤ to ⊥

Posts

• 2018-09-02 Analysing "Trigger-based" Malware with S2E
• 2017-10-23 "Targeting" File Parsers with S2E and Kaitai Struct
• 2017-08-08 Solving a CTF Challenge with S2E