I develop tools for helping machines reason about systems and software to identify security flaws and software defects. My work focuses on domains with high security demands. In the past, I've worked on verification of elliptic curve cryptography and symmetric key cryptography. I am currently leading a multi-year project that applies automated reasoning techniques to signal processing algorithms.
I received my Ph.D. in Computer Science at the University of Illinois Urbana-Champaign in 2008 for research in new decision procedures for automated reasoning. Before coming to Galois, I developed tools for attack surface analysis at Microsoft's Trustworthy Computing Center.
- Coverset Induction with Partiality and Subsorts: A Powerlist Case Study. Joe Hendrix, Deepak Kapur, and José Meseguer. In International Conference on Inductive Theorem Proving (ITP), 2010.
- Linear Functional Fixed-Points. Nikolaj Bjorner and Joe Hendrix. In Computer Aided Verification (CAV), 2010.
- The Maude Formal Tool Environment. Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, and Peter Olveczky. In Algebra and Coalgebra in Computer Science (CALCO), 2007.