{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T20:10:10Z","timestamp":1719778210473},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,1,27]],"date-time":"2018-01-27T00:00:00Z","timestamp":1517011200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11704-016-6049-6","type":"journal-article","created":{"date-parts":[[2018,1,27]],"date-time":"2018-01-27T10:27:39Z","timestamp":1517048859000},"page":"1192-1207","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SMT-based query tracking for differentially private data analytics systems"],"prefix":"10.1007","volume":"12","author":[{"given":"Chen","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,27]]},"reference":[{"key":"6049_CR1","first-page":"1","volume-title":"Proceedings of the 33rd International Colloquium on Automata, Languages and Programming","author":"C Dwork","year":"2006","unstructured":"Dwork C. Differential privacy. In: Proceedings of the 33rd International Colloquium on Automata, Languages and Programming. 2006, 1\u201312"},{"key":"6049_CR2","first-page":"19","volume":"53","author":"F D McSherry","year":"2009","unstructured":"McSherry F D. Privacy integrated queries: an extensible platform for privacy-preserving data analysis. Communications of the ACM, 2009, 53: 19\u201330","journal-title":"Communications of the ACM"},{"key":"6049_CR3","unstructured":"Silberschatz A, Korth H F, Sudarshan S. Database System Concepts. Vol 4. New York: McGraw-Hill, 1997"},{"key":"6049_CR4","first-page":"94","volume-title":"Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science","author":"F McSherry","year":"2007","unstructured":"McSherry F, Talwar K. Mechanism design via differential privacy. In: Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science. 2007, 94\u2013103"},{"key":"6049_CR5","first-page":"337","volume-title":"Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura De","year":"2008","unstructured":"De Moura L, Bj\u00f8rner N. Z3: an efficient SMT solver. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2008, 337\u2013340"},{"key":"6049_CR6","volume-title":"UCI machine learning repository","author":"M Lichman","year":"2013","unstructured":"Lichman M. UCI machine learning repository. Irvine, CA: University of California. 2013"},{"key":"6049_CR7","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11804192_17","volume-title":"Proceedings of International Conference on Formal Methods for Components and Objects","author":"M Barnett","year":"2006","unstructured":"Barnett M, Chang B Y E, DeLine R, Jacobs B, Leino K R M. Boogie: a modular reusable verifier for object-oriented programs. In: Proceedings of International Conference on Formal Methods for Components and Objects. 2006, 364\u2013387"},{"key":"6049_CR8","first-page":"389","volume-title":"Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"D Kroening","year":"2014","unstructured":"Kroening D, Tautschnig M. CBMC-C bounded model checker. In: Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2014, 389\u2013391"},{"key":"6049_CR9","first-page":"151","volume-title":"Proceedings of Network and Distributed System Security Symposium","author":"P Godefroid","year":"2008","unstructured":"Godefroid P, Levin M Y, Molnar D A. Automated whitebox fuzz testing. In: Proceedings of Network and Distributed System Security Symposium. 2008, 151\u2013166"},{"key":"6049_CR10","doi-asserted-by":"crossref","first-page":"1066","DOI":"10.1145\/1985793.1985995","volume-title":"Proceedings of the 33rd International Conference on Software Engineering","author":"C Cadar","year":"2011","unstructured":"Cadar C, Godefroid P, Khurshid S, P\u0103s\u0103reanu C S, Sen K, Tillmann N, Visser W. Symbolic execution for software testing in practice: preliminary assessment. In: Proceedings of the 33rd International Conference on Software Engineering. 2011, 1066\u20131071"},{"key":"6049_CR11","first-page":"93","volume-title":"Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"A Cimatti","year":"2013","unstructured":"Cimatti A, Griggio A, Schaafsma B J, Sebastiani R. The NathSAT5SMT solver. In: Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2013, 93\u2013107"},{"key":"6049_CR12","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/978-3-319-08867-9_49","volume-title":"Proceedings of International Conference on Computer Aided Verification","author":"B Dutertre","year":"2014","unstructured":"Dutertre B. Yices 2.2. In: Proceedings of International Conference on Computer Aided Verification. 2014, 737\u2013744"},{"issue":"8","key":"6049_CR13","doi-asserted-by":"publisher","first-page":"1200","DOI":"10.1109\/TKDE.2010.247","volume":"23","author":"G Xiao","year":"2011","unstructured":"Xiao X,Wang G, Gehrke J. Differential privacy via wavelet transforms. IEEE Transactions on Knowledge and Data Engineering, 2011, 23(8): 1200\u20131214","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1\u20132","key":"6049_CR14","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.14778\/1920841.1920970","volume":"3","author":"M Hay","year":"2010","unstructured":"Hay M, Rastogi V, Miklau G, Suciu D. Boosting the accuracy of differentially private histograms through consistency. Proceedings of the VLDB Endowment, 2010, 3(1\u20132): 1021\u20131032","journal-title":"Proceedings of the VLDB Endowment"},{"key":"6049_CR15","first-page":"32","volume-title":"Proceedings of IEEE International Conference on Data Engineering","author":"J Xu","year":"2012","unstructured":"Xu J, Zhang Z J, Xiao X K, Yang Y, Yu G. Differentially private histogram publication. In: Proceedings of IEEE International Conference on Data Engineering. 2012, 32\u201343"},{"issue":"11","key":"6049_CR16","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.14778\/3402707.3402744","volume":"4","author":"R Chen","year":"2011","unstructured":"Chen R, Mohammed N, Fung B C M, Desai B C, Xiong L. Publishing set-valued data via differential privacy. Proceedings of the VLDB Endowment, 2011, 4(11): 1087\u20131098","journal-title":"Proceedings of the^VLDB Endowment"},{"key":"6049_CR17","doi-asserted-by":"crossref","first-page":"1423","DOI":"10.1145\/2588555.2588573","volume-title":"Proceedings of ACM SIGMOD International Conference on Management of Data","author":"J Zhang","year":"2014","unstructured":"Zhang J, Cormode G, Procopiuc C M, Srivastava D, Xiao X K. Privbayes: private data release via Bayesian networks. In: Proceedings of ACM SIGMOD International Conference on Management of Data. 2014, 1423\u20131434"},{"key":"6049_CR18","first-page":"229","volume-title":"Proceedings of ACM SIGMOD International Conference on Management of Data","author":"X K Xiao","year":"2011","unstructured":"Xiao X K, Bender G, Hay M, Gehrke J. iReduct: differential privacy with reduced relative errors. In: Proceedings of ACM SIGMOD International Conference on Management of Data. 2011, 229\u2013240"},{"key":"6049_CR19","first-page":"123","volume-title":"Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"C Li","year":"2010","unstructured":"Li C, Hay M, Rastogi V, Miklau G, McGregor A. Optimizing linear counting queries under differential privacy. In: Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. 2010, 123\u2013134"},{"issue":"6","key":"6049_CR20","doi-asserted-by":"publisher","first-page":"514","DOI":"10.14778\/2168651.2168653","volume":"5","author":"C Li","year":"2012","unstructured":"Li C, Miklau G. An adaptive mechanism for accurate query answering under differential privacy. Proceedings of the VLDB Endowment, 2012, 5(6): 514\u2013525","journal-title":"Proceedings of the^VLDB Endowment"},{"issue":"11","key":"6049_CR21","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.14778\/2350229.2350252","volume":"5","author":"G Z Yuan","year":"2012","unstructured":"Yuan G Z, Zhang Z J, Winslett M, Xiao X K, Yang Y, Hao Z F. Lowrank mechanism: optimizing batch queries under differential privacy. Proceedings of the VLDB Endowment, 2012, 5(11): 1352\u20131363","journal-title":"Proceedings of the VLDB Endowment"},{"key":"6049_CR22","first-page":"1093","volume-title":"Proceedings of the 29th IEEE International Conference on Data Engineering","author":"S F Peng","year":"2013","unstructured":"Peng S F, Yang Y, Zhang Z J, Winslett M, Yu Y. Query optimization for differentially private data management systems. In: Proceedings of the 29th IEEE International Conference on Data Engineering. 2013, 1093\u20131104"},{"key":"6049_CR23","first-page":"516","volume-title":"Proceedings of the 30th International Conference on Very Large Data Bases","author":"R Agrawal","year":"2004","unstructured":"Agrawal R, Bayardo R, Faloutsos C, Kiernan J, Rantzau R, Srikant R. Auditing compliance with a hippocratic database. In: Proceedings of the 30th International Conference on Very Large Data Bases. 2004, 516\u2013527"},{"key":"6049_CR24","first-page":"697","volume-title":"Proceedings of ACM SIGMOD International Conference on Management of Data","author":"R Kaushik","year":"2011","unstructured":"Kaushik R, Ramamurthy R. Efficient auditing for complex SQL queries. In: Proceedings of ACM SIGMOD International Conference on Management of Data. 2011, 697\u2013708"},{"key":"6049_CR25","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/1007568.1007633","volume-title":"Proceedings of ACM SIGMOD International Conference on Management of Data","author":"G Miklau","year":"2004","unstructured":"Miklau G, Suciu D. A formal analysis of information disclosure in data exchange. In: Proceedings of ACM SIGMOD International Conference on Management of Data. 2004, 575\u2013586"},{"key":"6049_CR26","first-page":"287","volume-title":"Proceedings of the 24th IEEE International Conference on Data Engineering","author":"R Motwani","year":"2008","unstructured":"Motwani R, Nabar S U, Thomas D. Auditing SQL queries. In: Proceedings of the 24th IEEE International Conference on Data Engineering. 2008, 287\u2013296"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-6049-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-6049-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-6049-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T19:31:46Z","timestamp":1719775906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-6049-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,27]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["6049"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-6049-6","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,27]]},"assertion":[{"value":"25 January 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 January 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}