Zanella - PDFSEARCH.IO - Document Search Engine

Zanella
Results: 55

#	Item
11	Camera Network Coordination for Intruder Detection Fabio Pasqualetti, Filippo Zanella, Jeffrey R. Peters, Markus Spindler, Ruggero Carli, and Francesco Bullo Abstract Add to Reading List Source URL: www.fabiopas.it Language: English - Date: 2013-01-30 14:30:37
12	Smart Meter Aggregation via Secret-Sharing George Danezis, Cédric Fournet, Markulf Kohlweiss, Santiago Zanella-Béguelin Microsoft Research, Cambridge, UK {gdane,fournet,markulf,santiago}@microsoft.com Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2013-11-04 03:36:30 Cryptography Electric power Secure multi-party computation Public-key cryptography Electricity meter Smart meter Smart grid Cryptographic protocol Privacy Communications protocol Zero-knowledge proof
13	Simultaneous Boundary Partitioning and Cameras Synchronization for Optimal Video Surveillance ? F. Zanella ∗ F. Pasqualetti ∗∗ R. Carli ∗ F. Bullo ∗∗ ∗ Add to Reading List Source URL: www.fabiopas.it Language: English - Date: 2012-05-04 11:46:21
14	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: oakland09.cs.virginia.edu Language: English - Date: 2009-05-18 10:50:30
15	Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2 , Sylvain Heraud2 , Federico Olmedo1, and Santiago Zanella-B´eguelin3 1 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-18 05:09:59 Functions and mappings Model theory Digital signal processing Dirac delta function Fourier analysis Interpretation Characteristic function Distribution Function Mathematical analysis Mathematics Generalized functions
16	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
17	T +Santiago Zanella Béguelin H +u + Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptography Proof assistant Science Software Computing Formal sciences Coq GlobalPlatform
18	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
19	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
20	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: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic