1. CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01
2. Blindspots in Python and Java APIs Result in Vulnerable Code;ACM Transactions on Software Engineering and Methodology;2023-04-26
3. Attack on a Scheme for Obfuscating and Outsourcing SAT Computations to the Cloud;Proceedings of the 16th International Joint Conference on e-Business and Telecommunications;2019
4. Software fairness;Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2018-10-26
5. Themis: automatically testing software for discrimination;Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2018-10-26