RT Journal T1 SMT-based query tracking for differentially private data analytics systems A1 Chen LUO, Fei HE PB Front. Comput. Sci. FD 2018-12-04 YR 2018 JF Frontiers of Computer Science JO Front. Comput. Sci. VO 12 IS 6 SP 1192 DO 10.1007/s11704-016-6049-6 K1 differential privacy;privacy budget;satisfiability modulo theory LK {https://journal.hep.com.cn/fcs/EN/article/article_17964.shtml}