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

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)

Who watches the watcher? Detecting hypervisor introspection from unprivileged guests. - Tomasz Tuzel; Mark P. Bridgman; Joshua Zepf; Tamas K. Lengyel; Kyle J. Temkin (Digit. Investig., 2018)