@article{Chen LUO:1192, author = {Chen LUO, Fei HE}, title = {SMT-based query tracking for differentially private data analytics systems}, publisher = {Front. Comput. Sci.}, year = {2018}, journal = {Frontiers of Computer Science}, volume = {12}, number = {6}, eid = {1192}, numpages = {15}, pages = {1192}, keywords = {differential privacy;privacy budget;satisfiability modulo theory}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_17964.shtml}, doi = {10.1007/s11704-016-6049-6} }