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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI