1. Research artifact. 2023. PP-CSA. https://github.com/wangzhaoyu07/PP-CSA
2. FlowDroid
3. Borja Balle, James Bell, Adrià Gascón, and Kobbi Nissim. 2019. The privacy blanket of the shuffle model. In Advances in Cryptology–CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II 39. 638–667. https://doi.org/10.1007/978-3-030-26951-7_22 10.1007/978-3-030-26951-7_22
4. Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, and Martin Vechev. 2018. Dp-finder: Finding differential privacy violations by sampling and optimization. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 508–524. https://doi.org/10.1145/3243734.3243863 10.1145/3243734.3243863
5. Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, and Martin Vechev. 2021. Dp-sniper: Black-box discovery of differential privacy violations using classifiers. In 2021 IEEE Symposium on Security and Privacy (SP). 391–409. https://doi.org/10.1109/SP40001.2021.00081 10.1109/SP40001.2021.00081