Software Security from ⊤ to ⊥

Tag: #symbolic execution

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