Projects

Analysing Snort with KLEE
Understanding usability of KLEE by trying to analyse a large Intrusion Detection System
PDF
Revelio
A tool for doing static analysis of Python code for known vulnerabilities
PDF
Trusted Capsules
ARM TrustZone backed data privacy on remote devices
PDF