ask others

Marco Gaboardi

◀ ▶ joint publications with Pierre-Yves Strub

> Home > Persons > Marco Gaboardi
> Home > Persons > Pierre-Yves Strub

Publications

2018
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/BartheEGGHS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/BartheEGGHS18
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
An Assertion-Based Program Logic for Probabilistic Programs. ESOP 2018: 117-144
[i29]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1803-05535
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1803-05535
Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
An Assertion-Based Program Logic for Probabilistic Programs. CoRR abs/1803.05535 (2018)
2017
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/pacmpl/AguirreBG0S17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pacmpl/AguirreBG0S17
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A relational logic for higher-order programs. PACMPL 1(ICFP): 21:1-21:29 (2017)
[i21]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AguirreBG0S17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AguirreBG0S17
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A Relational Logic for Higher-Order Programs. CoRR abs/1703.05042 (2017)
2016
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/BartheFGGHS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/BartheFGGHS16
Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Advanced Probabilistic Couplings for Differential Privacy. ACM Conference on Computer and Communications Security 2016: 55-67
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ccs/BartheFGAGHS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccs/BartheFGAGHS16
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub:
Differentially Private Bayesian Programming. ACM Conference on Computer and Communications Security 2016: 68-79
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/BartheGGHS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/BartheGGHS16
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A Program Logic for Union Bounds. ICALP 2016: 107:1-107:15
[c22]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/lics/BartheGGHS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BartheGGHS16
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. LICS 2016: 749-758
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wine/BartheGAHRS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wine/BartheGAHRS16
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Computer-Aided Verification for Mechanism Design. WINE 2016: 279-293
[i16]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheGGHS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheGGHS16
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Proving Differential Privacy via Probabilistic Couplings. CoRR abs/1601.05047 (2016)
[i14]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheGGHS16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheGGHS16a
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
A program logic for union bounds. CoRR abs/1602.05681 (2016)
[i13]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheFGAGHS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheFGAGHS16
Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub:
Differentially Private Bayesian Programming. CoRR abs/1605.00283 (2016)
[i12]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheGGHS16b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheGGHS16b
Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Advanced Probabilistic Couplings for Differential Privacy. CoRR abs/1606.07143 (2016)
2015
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BartheGAHRS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BartheGAHRS15
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. POPL 2015: 55-68
[i9]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheGAHRS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheGAHRS15
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Computer-aided verification in mechanism design. CoRR abs/1502.04052 (2015)
2014
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/BartheGAHKS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/BartheGAHKS14
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving Differential Privacy in Hoare Logic. CSF 2014: 411-424
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheGAHKS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheGAHKS14
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving differential privacy in Hoare logic. CoRR abs/1407.2988 (2014)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BartheGAHRS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BartheGAHRS14
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. CoRR abs/1407.6845 (2014)

maintained by

, founded at