BioScript: programming safe chemistry on laboratories-on-a-chip.
Commun. ACM, 2021
Time- and resource-constrained scheduling for digital microfluidic biochips.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals.
J. Chem. Inf. Model., 2020
A performance-optimizing compiler for cyber-physical digital microfluidic biochips.
Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020
Programming Safe Chemistry on Laboratories-on-a-Chip.
PhD thesis, 2019
Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016
The Misuse of Android Unix Domain Sockets and Security Implications.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016