Blog Archive 2016 Mars close approach in 2016 May 15 2016 2015 A mini symbolic execution engine May 26 2015 2013 The cltq story Sep 17 2013 Mars or UFO: The DIY night sky Aug 21 2013 2012 IDIV DoS Dec 31 2012 More randomness or less Jun 25 2012 CVE-2012-2100: A fix to fix a fix in ext4 Apr 12 2012 libo 0.1 released Apr 11 2012 Overflow builtins Mar 19 2012 Fast integer overflow detection Mar 16 2012 Memory allocator security revisited Mar 05 2012 Solving Doodle Fit Jan 13 2012 CVE-2012-0038: XFS ACL count integer overflow Jan 10 2012 lighttpd: say no to digest authentication Jan 07 2012 Hello world Jan 05 2012