Zanella - PDFSEARCH.IO - Document Search Engine

Zanella
Results: 55

#	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	A Formal Specification of the MIDP 2.0 Security Model Santiago Zanella B´eguelin1,2 , Gustavo Betarte3 , and Carlos Luna3 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 MIDlet S0 Filesystem permissions Connected Limited Device Configuration Java Platform Micro Edition Computing Java specification requests Mobile Information Device Profile
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	Verified Indifferentiable Hashing into Elliptic Curves Santiago Zanella B´eguelin1 Gilles Barthe2 , Benjamin Gr´egoire3 , Sylvain Heraud3 and Federico Olmedo2 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematics Elliptic curve cryptography Elliptic curve Boneh/Franklin scheme ID-based encryption Pairing Homomorphic signatures for network coding BLS Cryptography Abstract algebra Algebra
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	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
27	Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Advantage Tiny Encryption Algorithm Random oracle 0K Chosen-ciphertext attack Cryptography Optimal asymmetric encryption padding Semantic security
28	A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Zero-knowledge proof Soundness Alice and Bob Feige–Fiat–Shamir identification scheme Interactive proof system Proof of knowledge Cryptography Cryptographic protocols IP
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	A Machine-Checked Formalization of Σ-Protocols Santiago Zanella-B´eguelin1 Gilles Barthe1 Daniel Hedin1 Benjamin Gr´egoire2 Sylvain Heraud2 1 IMDEA Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Zero-knowledge proof Soundness Alice and Bob Feige–Fiat–Shamir identification scheme Interactive proof system Proof of knowledge Cryptography Cryptographic protocols IP

UPDATE