Symbolic Execution

About

I have some interest in the application of formal methods in computer science to cybersecurity. Some projects are below.

Modality

A radare2 plugin to integrate the symbolic execution capabilities of angr. Presented at r2con 2020.