Barthe - PDFSEARCH.IO - Document Search Engine

Barthe
Results: 53

#	Item
21	Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris Köpf Federico Olmedo Santiago Zanella Béguelin Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Constructible universe Distribution Lie algebras Representation theory of Lie groups Symbol Mathematical analysis Functional analysis Generalized functions
22	N Probabilistic Relational Reasoning for Differential Privacy ¨ GILLES BARTHE, BORIS KOPF and FEDERICO OLMEDO, IMDEA Software Institute ´ Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Generalized functions Differential privacy Exponential mechanism Distribution Randomized algorithm Function Continuous function Mathematical analysis Mathematics Data privacy
23	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
24	Beyond Differential Privacy: Composition Theorems and Relational Logic for f -divergences between Probabilistic Programs Gilles Barthe and Federico Olmedo IMDEA Software Institute, Madrid, Spain {Gilles.Barthe,Federico.O Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Functional analysis Distribution Interpretation Divergence Function Constructible universe Continuous function Mathematical analysis Mathematics Generalized functions
25	Verifiable Security of Boneh-Franklin Identity-Based Encryption Federico Olmedo Gilles Barthe Santiago Zanella Béguelin IMDEA Software Institute, Madrid, Spain Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 ID-based cryptography Cyberwarfare Security Key management Boneh/Franklin scheme Applied mathematics Cryptography ID-based encryption Public-key cryptography
26	Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris K¨opf Federico Olmedo Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Generalized functions Data privacy Distribution Functional analysis Dirac delta function Differential privacy Vector space Constructible universe Exponential mechanism Mathematical analysis Algebra Mathematics
27	Verifiable Security of Boneh-Franklin Identity-Based Encryption⋆ Gilles Barthe, Federico Olmedo, and Santiago Zanella B´eguelin {Gilles.Barthe,Federico.Olmedo,Santiago.Zanella}@imdea.org IMDEA Software Institute, Madr Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Intel Core Cryptography Boneh/Franklin scheme ID-based encryption
28	Computer-aided security proofs for the working cryptographer Gilles Barthe Sylvain Heraud Benjamin Grégoire Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Science Knowledge Cryptography Mathematical proof
29	Verifiable Security of Boneh-Franklin Identity-Based Encryption⋆ Gilles Barthe, Federico Olmedo, and Santiago Zanella B´eguelin {Gilles.Barthe,Federico.Olmedo,Santiago.Zanella}@imdea.org IMDEA Software Institute, Madr Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Intel Core Cryptography Boneh/Franklin scheme ID-based encryption
30	Programming Language Techniques for Cryptographic Proofs⋆ Gilles Barthe1 , Benjamin Gr´egoire2, and Santiago Zanella B´eguelin1 1 IMDEA Software, Madrid, Spain, {Gilles.Barthe,Santiago.Zanella}@imdea.org Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Advantage Pseudorandom function family Expected value Function Lemmas Probability theory Pseudorandom generator Cryptography Mathematics Pseudorandomness