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


DROPS-Home | Fulltext Search | Imprint Published by LZI