"Gilles Barthe,Thomas Espitau,Justin Hsu,Tetsuya Sato,Pierre-Yves Strub","?-liftings for differential privacy","44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)","Leibniz International Proceedings in Informatics, LIPIcs","Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik","Vol. 80",,"pp. 1-12",2017,July