1. Detecting Violations of Differential Privacy for Quantum Algorithms;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
2. Certifiable Object Pose Estimation: Foundations, Learning Models, and Self-Training;IEEE Transactions on Robotics;2023-08
3. Incremental Verification of Neural Networks;Proceedings of the ACM on Programming Languages;2023-06-06
4. SoK: Certified Robustness for Deep Neural Networks;2023 IEEE Symposium on Security and Privacy (SP);2023-05
5. Proving Data-Poisoning Robustness in Decision Trees;Communications of the ACM;2023-01-20