The Misuse of Android Unix Domain Sockets and Security Implications. - Yuru Shao; Jason Ott; Yunhan Jack Jia; Zhiyun Qian; Zhuoqing Morley Mao (CCS, 2016)

Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework. - Yuru Shao; Qi Alfred Chen; Zhuoqing Morley Mao; Jason Ott; Zhiyun Qian (NDSS, 2016)

Programming Safe Chemistry on Laboratories-on-a-Chip. - Jason Ott (2019)

A performance-optimizing compiler for cyber-physical digital microfluidic biochips. - Tyson Loveless; Jason Ott; Philip Brisk (CGO, 2020)

ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals. - Jason Ott; Daniel Tan; Tyson Loveless; William H. Grover; Philip Brisk (J. Chem. Inf. Model., 2020)

Time- and resource-constrained scheduling for digital microfluidic biochips. - Tyson Loveless; Jason Ott; Philip Brisk (ICCPS, 2021)

BioScript: programming safe chemistry on laboratories-on-a-chip. - Jason Ott; Tyson Loveless; Christopher Curtis; Mohsen Lesani; Philip Brisk (Commun. ACM, 2021)