Pierre-Yves Strub

◀ ▶ joint publications with Emilio Jesús Gallego Arias

> Home > Persons > Pierre-Yves Strub

Publications

2016
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BartheFGAGHS16
- ask others
- share record
  persistent 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. CCS 2016: 68-79
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wine/BartheGAHRS16
- ask others
- share record
  persistent 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
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartheFGAGHS16
- ask others
- share record
  persistent 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)
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BartheGAHRS15
- ask others
- share record
  persistent 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
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartheGAHRS15
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/csfw/BartheGAHKS14
- ask others
- share record
  persistent 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
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartheGAHKS14
- ask others
- share record
  persistent 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)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartheGAHRS14
- ask others
- share record
  persistent 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)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.