We explore compiler-based approaches to strengthen software security, network security, and system security — building tools that find hidden flaws before they become exploits.
We build practical tools grounded in compiler techniques — static analysis, dynamic instrumentation, and automated test generation — to uncover vulnerabilities in real-world software and network systems.
