The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings. - Edwin M. Westbrook; Aaron Stump; Evan Austin (LFMTP, 2009)

Resource typing in guru: (abstract only). - Aaron Stump; Evan Austin (ACM SIGPLAN Notices, 2009)

Resource typing in Guru. - Aaron Stump; Evan Austin (PLPV, 2010)

Stateless Higher-Order Logic with Quantified Types. - Evan Austin; Perry Alexander (ITP, 2013)

Theorem Provers as Libraries - An Approach to Formally Verifying Functional Programs. - Evan Austin (2015)

Finding a Middle Ground for Computer-Aided Cryptography. - Evan Austin; Scott C. Batson; Peter Curry; Bryan Williams (ICMS, 2018)