Special Issue on the Theory and Practice of Differential Privacy 2016 von Gaboardi, Marco

Volltext

Privacy Profiles and Amplification by Subsampling von Balle, Borja, Barthe, Gilles, Gaboardi, Marco

Volltext

A relational logic for higher-order programs von AGUIRRE, ALEJANDRO, BARTHE, GILLES, GABOARDI, MARCO, GARG, DEEPAK, STRUB, PIERRE-YVES

Volltext

A relational logic for higher-order programs von Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Strub, Pierre-Yves

Volltext

Special Issue on the Theory and Practice of Differential Privacy von Gaboardi, Marco, Skinner, Chris J.

Volltext

Program for TPDP 2016 von Barthe, Gilles, Dimitrakakis, Christos, Gaboardi, Marco, Haeberlen, Andreas, Roth, Aaron, Slavković, Aleksandra B

Volltext

Linear Dependent Types and Relative Completeness von Lago, Ugo Dal, Gaboardi, Marco

Volltext

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization von Sato, Tetsuya, Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Hsu, Justin

Volltext

Special issue – Developments in implicit computational complexity, 2014 and 2015 von Gaboardi, Marco, Schöpp, Ulrich

Volltext

Dual Query: Practical Private Query Release for High Dimensional Data von Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin, Roth, Aaron, Wu, Zhiwei Steven

Volltext

A Programming Language for Data Privacy with Accuracy Estimations von Lobo-Vesga, Elisabet, Russo, Alejandro, Gaboardi, Marco

Volltext

On incorrectness logic and Kleene algebra with top and tests von Zhang, Cheng, de Amorim, Arthur Azevedo, Gaboardi, Marco

Volltext

A unifying type-theory for higher-order (amortized) cost analysis von Rajani, Vineet, Gaboardi, Marco, Garg, Deepak, Hoffmann, Jan

Volltext

Program Analysis for Adaptive Data Analysis von Liu, Jiawen, Qu, Weihao, Gaboardi, Marco, Garg, Deepak, Ullman, Jonathan

Volltext

A separation logic for negative dependence von Bao, Jialu, Gaboardi, Marco, Hsu, Justin, Tassarotti, Joseph

Volltext

Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections von Bun, Mark, Gaboardi, Marco, Neunhoeffer, Marcel, Zhang, Wanrong

Volltext

Categorical Models for a Semantically Linear Lambda-calculus von Gaboardi, Marco, Piccolo, Mauro

Volltext

Relational cost analysis in a functional-imperative setting von QU, WEIHAO, GABOARDI, MARCO, GARG, DEEPAK

Volltext

Linear Dependent Types and Relative Completeness von Dal Lago, Ugo, Gaboardi, M.

Volltext

Differentially private confidence intervals for proportions under stratified random sampling von Lin, Shurong, Bun, Mark, Gaboardi, Marco, Kolaczyk, Eric D., Smith, Adam

Volltext