Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework. Y Shao, QA Chen, ZM Mao, J Ott, Z Qian NDSS, 2016 | 105 | 2016 |
The misuse of android unix domain sockets and security implications Y Shao, J Ott, YJ Jia, Z Qian, ZM Mao Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016 | 52 | 2016 |
BioScript: Programming safe chemistry on laboratories-on-a-chip J Ott, T Loveless, C Curtis, M Lesani, P Brisk Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-31, 2018 | 28 | 2018 |
A performance-optimizing compiler for cyber-physical digital microfluidic biochips T Loveless, J Ott, P Brisk Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020 | 9 | 2020 |
Chemstor: using formal methods to guarantee safe storage and disposal of chemicals J Ott, D Tan, T Loveless, WH Grover, P Brisk Journal of chemical information and modeling 60 (7), 3416-3422, 2020 | 8 | 2020 |
Time-and resource-constrained scheduling for digital microfluidic biochips T Loveless, J Ott, P Brisk Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical …, 2021 | 3 | 2021 |
BioScript: programming safe chemistry on laboratories-on-a-chip J Ott, T Loveless, C Curtis, M Lesani, P Brisk Communications of the ACM 64 (2), 97-104, 2021 | | 2021 |
Programming Safe Chemistry on Laboratories-on-a-Chip JM Ott University of California, Riverside, 2019 | | 2019 |