Barthe - PDFSEARCH.IO - Document Search Engine

Barthe
Results: 53

#	Item
11	Security of Multithreaded Programs by Compilation Gilles Barthe IMDEA Software, Madrid, Spain and Tamara Rezk Inria Sophia Antipolis and MSR-INRIA, France Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-07-27 08:31:59
12	Classes of small-world networks L. A. N. Amaral, A. Scala, M. Barthe´le´my†, and H. E. Stanley Center for Polymer Studies and Department of Physics, Boston University, Boston, MACommunicated by Herman Z. Cumm Add to Reading List Source URL: polymer.bu.edu Language: English* - Date: 2002-08-30 11:29:49
13	Les politiques numériques territoriales sont-elles l’une des princip…commerces de proximité? Le point de vue de David Barthe \| Numericuss:09 NUMERICUSS DÉVELOPPEMENT NUMÉRIQUE ET SERVICES DE PROXIM Add to Reading List Source URL: www.albiste.fr Language: French - Date: 2014-09-26 01:26:29
14	N Probabilistic Relational Reasoning for Differential Privacy ¨ GILLES BARTHE, BORIS KOPF and FEDERICO OLMEDO, IMDEA Software Institute ´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-06-07 06:33:22
15	Correlation and Brascamp-Lieb inequalities for Markov semigroups F. Barthe, D. Cordero-Erausquin, M. Ledoux and B. Maurey Abstract This paper builds upon several recent works, where semigroup proofs of Brascamp-Lieb ineq Add to Reading List Source URL: www.math.univ-toulouse.fr Language: English - Date: 2010-05-13 04:52:16
16	Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub UPenn-Mines ParisTe Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2016-01-18 05:21:50
17	QUAND MÉDIATION RIME AVEC OUVERTURE À LA RECHERCHE... De la sphère à l’animation de personnages virtuels : Pour un Pli Loïc Barthe 1 Add to Reading List Source URL: www.societe-informatique-de-france.fr - Date: 2015-03-01 04:48:28
18	Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub UPenn-Mines ParisTe Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-04-21 07:32:50
19	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: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
20	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: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Advantage Pseudorandom function family Expected value Function Lemmas Probability theory Pseudorandom generator Cryptography Mathematics Pseudorandomness

UPDATE