Design by Contract

I am currently working on some research projects aimed at fusing Design by Contract and Bounded Exhaustive Testing. The follow-up to that is a slightly more general project consisting of installing runtime monitors on python objects. That project consists of Higher-order contracts (e.g. allowing you to install a precondition which requires a parameter to be a method which satisfies a postcondition).

Software Protection / Reverse Engineering

A while ago, Jay Freeman (saurik) and I were reading about various reverse engineering techniques and contemplating how to defeat them. We wrote a small white paper about it. I later ended up working on a reverse engineering project with Anacapa Sciences.