Verification State-Space Reduction through Restricted Parsing Environments. - Jacob I. Torrey; Mark P. Bridgman (IEEE Symposium on Security and Privacy Workshops, 2015)

Research Report: Analysis of Software for Restricted Computational Environment Applicability. - Jacob I. Torrey; Jonathan Miodownik (IEEE Symposium on Security and Privacy Workshops, 2016)

Enclaves for operating system protection. - Jacob I. Torrey; Brent M. Sherman (SysCon, 2016)

Research Report: Hardware-Enforcement of Walther-Recursive Program Functions. - Jacob I. Torrey; Mark P. Bridgman; Tomasz Tuzel (IEEE Symposium on Security and Privacy Workshops, 2017)