| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Gaboardi, Marco et al. |
2023 |
| 2 |
LIPIcs, Volume 260, FSCD 2023, Complete Volume |
Gaboardi, Marco et al. |
2023 |
| 3 |
Controlling Privacy Loss in Sampling Schemes: An Analysis of Stratified and Cluster Sampling |
Bun, Mark et al. |
2022 |
| 4 |
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt |
Stoughton, Alley et al. |
2022 |
| 5 |
The Complexity of Verifying Loop-Free Programs as Differentially Private |
Gaboardi, Marco et al. |
2020 |
| 6 |
Resource Bound Analysis (Dagstuhl Seminar 17291) |
Gaboardi, Marco et al. |
2018 |
| 7 |
Type Systems for the Relational Verification of Higher Order Programs (Invited Talk) |
Gaboardi, Marco |
2017 |
| 8 |
A Program Logic for Union Bounds |
Barthe, Gilles et al. |
2016 |
| 9 |
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131) |
Gaboardi, Marco et al. |
2016 |
| 10 |
Sensitivity of Counting Queries |
Arapinis, Myrto et al. |
2016 |
| 11 |
A Theory AB Toolbox |
Gaboardi, Marco et al. |
2015 |
