1. No Root Store Left Behind;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28
2. Macaron: A Logic-based Framework for Software Supply Chain Security Assurance;Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses;2023-11-26
3. Brigadier: A Datalog-based IAST framework for Node.js Applications;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
4. Policy Transparency;Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses;2022-11-08
5. P-Verifier;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07