Skip to content

Top New Best Ask Show Jobs

thinkmoore | Better HN

thinkmoore

292 karmaJoined June 14, 201397 submissions

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 (opens in new tab)

(galois.com)

116thinkmoore1y ago12

2

A Visual Guide to Pointer Analysis with Cclyzer++: Part 2 (opens in new tab)

(galois.com)

1thinkmoore3y ago1