1. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization;Proceedings of the ACM on Programming Languages;2024-04-29
2. No Root Store Left Behind;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28
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. P-Verifier;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
5. Modular materialisation of Datalog programs;Artificial Intelligence;2022-07