thinkmoore
- Karma
- 292
- Created
- 12 years ago
About
I'm a Principal Scientist at Galois. I study the intersection of Programming Languages and Security: how can we use language design and formal reasoning techniques to build secure software. My CV is online at http://thinkmoore.net.Recent Submissions
- 1. ▲ Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com)
- 2. ▲ A Visual Guide to Pointer Analysis with Cclyzer++: Part 2 (galois.com)