Blog Archive 2014 FoxFi/PdaNet on Mavericks Feb 28 2014 2013 My Experimental Methodology May 16 2013 Coming to a BAP Near You May 05 2013 Typechecking Fail Mar 28 2013 BAP for Everyone Feb 27 2013 Wiley Q Feb 19 2013 Pcmpistri Revisited: Aggregation Modes Jan 28 2013 2012 Familiar Problems Oct 15 2012 Success? Sep 24 2012 Thoughts on Coq and Isabelle/HOL Sep 17 2012 Undocumented Features of VSA Sep 07 2012 Syntax Over Semantics Aug 16 2012 DC20 and VSA Jul 30 2012 VSA Problem Jul 27 2012 CFG Recovery in BAP Jul 23 2012 Common Misconceptions About Academic Security Research Jun 26 2012 C Integers Are Tricky Jun 11 2012 Pcmpistri = ARGH May 10 2012 A Lot of Instructions Apr 04 2012 JIT vs Interpreter Mar 26 2012 Representing Binary Programs Mar 07 2012 A Blog Is Born Mar 07 2012