Marco Gaboardi
发表
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
POPL.
Marco Gaboardi,
Justin Hsu,
Aaron Roth,
2014,
ICML.
Andreas Haeberlen,
Loris D'Antoni,
Benjamin C. Pierce,
2013,
FPCDSL '13.
Ryan M. Rogers,
S. Vadhan,
Marco Gaboardi,
2016,
ICML 2016.
Marco Gaboardi,
2014
.
Borja Balle,
G. Barthe,
Marco Gaboardi,
2019
.
B. Pierce,
Andreas Haeberlen,
Loris D'antoni,
2013
.
Justin Hsu,
B. Pierce,
Andreas Haeberlen,
2013
.
G. King,
Marco Gaboardi,
James Honaker,
2018
.
S. Vadhan,
Michael Hay,
Marco Gaboardi,
2020
.
Justin Hsu,
G. Barthe,
Pierre-Yves Strub,
2017
.
Marco Gaboardi,
D. Garg,
Ezgi Çiçek,
2016
.
Marco Gaboardi,
2013
.
Arthur Azevedo de Amorim,
Justin Hsu,
Marco Gaboardi,
2014
.
Marco Gaboardi,
Mauro Piccolo,
Marco Gaboardi,
2010,
LINEARITY.
Marco Gaboardi,
M. Piccolo,
2009
.
Arthur Azevedo de Amorim,
Marco Gaboardi,
Cheng Zhang,
2021,
Proc. ACM Program. Lang..
Marco Gaboardi,
Alley Stoughton,
Carol Chen,
2022,
ITP.
Gilles Barthe,
Justin Hsu,
Pierre-Yves Strub,
2016
.
Marco Gaboardi,
Myrto Arapinis,
D. Figueira,
2016
.
Marco Gaboardi,
James Honaker,
Clara Wang,
2016
.
Marco Gaboardi,
Chenglin Fan,
Di Wang,
2022,
AISTATS.
Marco Gaboardi,
Mark Bun,
L. Glinskih,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Gian Pietro Farina,
G. Barthe,
Marco Gaboardi,
2016
.
Gilles Barthe,
Marco Gaboardi,
Borja Balle,
2018,
NeurIPS.
Borja Balle,
Marco Gaboardi,
Gilles Barthe,
2020,
J. Priv. Confidentiality.
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016,
CCS.
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Pierre-Yves Strub,
Justin Hsu,
Marco Gaboardi,
2016
.
Dominic A. Orchard,
Shin-ya Katsumata,
Marco Gaboardi,
2020,
ESOP.
Gilles Barthe,
Justin Hsu,
Tetsuya Sato,
2019,
AISTATS.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2018,
Proc. ACM Program. Lang..
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
ArXiv.
Pierre-Yves Strub,
Marco Gaboardi,
Deepak Garg,
2017,
Journal of Functional Programming.
Marco Gaboardi,
Justin Hsu,
Shin-ya Katsumata,
2017,
POPL.
Thomas Steinke,
Micah Altman,
Kobbi Nissim,
2018
.
Gilles Barthe,
Borja Balle,
Marco Gaboardi,
2019,
NeurIPS.
Thomas Steinke,
Urs Gasser,
Kobbi Nissim,
2018
.
Kobbi Nissim,
Marco Gaboardi,
David Purser,
2019,
ICALP.
Marco Gaboardi,
Ryan M. Rogers,
Or Sheffet,
2018,
AISTATS.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2015,
WINE.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Andreas Haeberlen,
Marco Gaboardi,
Justin Hsu,
2013,
POPL.
Marco Gaboardi,
Jonathan Ullman,
Kobbi Nissim,
2016,
ArXiv.
Marco Gaboardi,
Mark Bun,
Wanrong Zhang,
2023,
2306.07884.
Adam D. Smith,
E. Kolaczyk,
Marco Gaboardi,
2023,
2301.08324.
Alejandro Russo,
Elisabet Lobo Vesga,
Marco Gaboardi,
2019,
2020 IEEE Symposium on Security and Privacy (SP).
Andreas Haeberlen,
Sanjeev Khanna,
Marco Gaboardi,
2014,
2014 IEEE 27th Computer Security Foundations Symposium.
Di Wang,
Marco Gaboardi,
Jinhui Xu,
2018,
NeurIPS.
Marco Gaboardi,
Mauro Piccolo,
Marco Gaboardi,
2012,
J. Log. Comput..
Gilles Barthe,
Marco Gaboardi,
Lars Birkedal,
2018,
ESOP.
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2017,
Proc. ACM Program. Lang..
Marco Gaboardi,
Alejandro Russo,
Elisabet Lobo Vesga,
2021,
ACM Trans. Program. Lang. Syst..
Benjamin Grégoire,
Gilles Barthe,
Marco Gaboardi,
2016,
ICALP.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2016,
SIGL.
R. Impagliazzo,
T. Pitassi,
Marco Gaboardi,
2023,
Symposium on the Theory of Computing.
Marco Gaboardi,
Mark Bun,
Satchit Sivakumar,
2021,
NeurIPS.
Borja Balle,
G. Barthe,
Marco Gaboardi,
2018,
NeurIPS.
Di Wang,
Marco Gaboardi,
Jinhui Xu,
2020,
J. Mach. Learn. Res..
Marco Gaboardi,
Ryan M. Rogers,
Ryan Rogers,
2017,
ICML.
Marco Gaboardi,
Jonathan Ullman,
Adam Smith,
2021,
NeurIPS.
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data
pdf
Jinhui Xu,
Huanyu Zhang,
Marco Gaboardi,
2019,
ALT.
Marco Gaboardi,
Mark Bun,
Jörg Drechsler,
2020,
Symposium on Foundations of Responsible Computing.
Dominic A. Orchard,
Marco Gaboardi,
Flavien Breuvart,
2016
.
Deepak Garg,
Vineet Rajani,
Marco Gaboardi,
2021,
Proc. ACM Program. Lang..
Marco Gaboardi,
Tarmo Uustalu,
Flavien Breuvart,
2016
.
Marco Gaboardi,
Damiano Mazza,
Steve Zdancewic,
2014,
ESOP.
Ugo Dal Lago,
Marco Gaboardi,
Marco Gaboardi,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Justin Hsu,
G. Barthe,
Marco Gaboardi,
2019,
AISTATS.
Marco Gaboardi,
Stephen Chong,
Gian Pietro Farina,
2017,
PPDP.
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2018,
PLDI.
Efficient Empirical Risk Minimization with Smooth Loss Functions in Non-interactive Local Differential Privacy
pdf
Marco Gaboardi,
Di Wang,
Jinhui Xu,
2018,
ArXiv.
Di Wang,
Marco Gaboardi,
Jinhui Xu,
2018,
NeurIPS.
Marco Gaboardi,
Luca Paolini,
Mauro Piccolo,
2014,
Mathematical Structures in Computer Science.
Ryan M. Rogers,
S. Vadhan,
Marco Gaboardi,
2016,
International Conference on Machine Learning.
Dominic A. Orchard,
Marco Gaboardi,
Flavien Breuvart,
2016,
ICFP.
Marco Gaboardi,
Romain Péchoux,
Romain Péchoux,
2015,
Sci. Comput. Program..
Marco Gaboardi,
Romain Péchoux,
Romain Péchoux,
2009,
FOPARA.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2017,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Marco Gaboardi,
Myrto Arapinis,
Diego Figueira,
2016,
ICALP.
Arthur Azevedo de Amorim,
Marco Gaboardi,
Patrick Baillot,
2022,
ESOP.
Stephen Chong,
Marco Gaboardi,
Gian Pietro Farina,
2020,
ESOP.
Kobbi Nissim,
Marco Gaboardi,
David Purser,
2019,
ArXiv.
Shin-ya Katsumata,
Arthur Azevedo de Amorim,
Justin Hsu,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Marco Gaboardi,
Justin Hsu,
Shin-ya Katsumata,
2018,
ArXiv.
Marco Gaboardi,
Gilles Barthe,
Deepak Garg,
2017,
POPL.
S. Vadhan,
Jonathan Ullman,
Kobbi Nissim,
2016,
1609.04340.
Arthur Azevedo de Amorim,
Justin Hsu,
Marco Gaboardi,
2014,
IFL.
Marco Gaboardi,
2013,
ArXiv.
Marco Gaboardi,
Justin Hsu,
Justin Hsu,
2015,
SNAPL.
Ju n 20 13 Linear Dependent Types for Domain Specific Program Analysis ( Abstract presented at HOPA 2013 )
pdf
Marco Gaboardi,
Marco Gaboardi,
2014
.
Joseph Tassarotti,
Marco Gaboardi,
Justin Hsu,
2021,
Proc. ACM Program. Lang..
Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data
Marco Gaboardi,
Jinhui Xu,
Huanyu Zhang,
2019,
ALT.