Skip to content

Top Best Ask Show New 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

3

The media skirmish in Missouri isn't about the media. It's about race (opens in new tab)

(onthemedia.org)

1thinkmoore10y ago0

4

Unicorns or sheep with party hats? (opens in new tab)

(npr.org)

2thinkmoore10y ago0