thinkmoore

292 karmajoined June 14, 2013On HN

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

Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code galois.com
116thinkmoore1y12 comments
A Visual Guide to Pointer Analysis with Cclyzer++: Part 2 galois.com
1thinkmoore4y1 comment
The media skirmish in Missouri isn't about the media. It's about race onthemedia.org
1thinkmoore10ydiscuss
Unicorns or sheep with party hats?npr.org
2thinkmoore10ydiscuss

All submissions and comments on Hacker News.