| No. |
Title |
Author |
Year |
| 1 |
Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341) |
Barthe, Gilles et al. |
2021 |
| 2 |
Almost Sure Productivity |
Aguirre, Alejandro et al. |
2018 |
| 3 |
*-Liftings for Differential Privacy |
Barthe, Gilles et al. |
2017 |
| 4 |
A Program Logic for Union Bounds |
Barthe, Gilles et al. |
2016 |
| 5 |
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181) |
Barthe, Gilles et al. |
2015 |
| 6 |
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492) |
Barthe, Gilles et al. |
2015 |
| 7 |
Formally Verified Implementation of an Idealized Model of Virtualization |
Barthe, Gilles et al. |
2014 |
| 8 |
07091 Abstracts Collection -- Mobility, Ubiquity and Security |
Barthe, Gilles et al. |
2007 |
| 9 |
07091 Executive Summary -- Mobility, Ubiquity and Security |
Barthe, Gilles et al. |
2007 |
