TY - Front. Comput. Sci. A1 - Chen LUO, Fei HE T1 - SMT-based query tracking for differentially private data analytics systems Y1 - 2018-12-04 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 1192 EP - 1207 VL - 12 IS - 6 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-016-6049-6 ER -