Zanella - PDFSEARCH.IO - Document Search Engine

Zanella
Results: 55

#	Item
31	Formally Certifying the Security of Digital Signature Schemes Santiago Zanella B´eguelin Benjamin Gr´egoire INRIA Sophia Antipolis - M´editerran´ee Microsoft Research - INRIA Joint Centre {Santiago.Zanella,Benjamin.G Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English Parity of a permutation Permutations Model theory Cryptographic hash functions Homomorphic signatures for network coding Mathematics Group theory Parity
32	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
33	Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , Federico Olmedo1 , 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 Expected value Statistical distance
34	Formal Certification of Game-Based Cryptographic Proofs Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain INRIA Sophia Antipolis - M´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptology Cryptography ProVerif Knowledge Science Mathematical sciences Cryptanalysis
35	Formal Certification of Code-Based Cryptographic Proofs GILLES BARTHE and SANTIAGO ZANELLA BEGUELIN IMDEA Software, Madrid, Spain and BENJAMIN GREGOIRE Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 ElGamal encryption Public-key cryptography Ciphertext indistinguishability Diffie–Hellman problem Decisional Diffie–Hellman assumption Optimal asymmetric encryption padding Cramer–Shoup cryptosystem Cryptography Computational hardness assumptions Finite fields
36	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
37	Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , Federico Olmedo1 , and Santiago Zanella B´eguelin1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Expected value Statistical distance
38	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: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Advantage Tiny Encryption Algorithm Random oracle 0K Chosen-ciphertext attack Cryptography Optimal asymmetric encryption padding Semantic security
39	Brain White-Matter Lesions in Celiac Disease: A Prospective Study of 75 Diet-Treated Patients Matthias Kieslich, MD; Germa´n Erra´zuriz, MD; Hans Georg Posselt, MD; Walter Moeller-Hartmann, MD‡; Friedhelm Zanella, Add to Reading List Source URL: pediatrics.aappublications.org Language: English* Wheat Autoimmune diseases Food allergies Sensitivities Gluten sensitivity Coeliac disease Epilepsy Hypotonia Periventricular leukomalacia Medicine Health Immunology
40	3rd Annual Meeting 13th - 15th May 2014 Full Programme Tuesday 13th May 12.00 – – 14.00 Add to Reading List Source URL: www.animal-welfare-indicators.net Language: English - Date: 2014-04-24 14:24:03 ATVs Zanella Transport

UPDATE