11![Camera Network Coordination for Intruder Detection Fabio Pasqualetti, Filippo Zanella, Jeffrey R. Peters, Markus Spindler, Ruggero Carli, and Francesco Bullo Abstract Camera Network Coordination for Intruder Detection Fabio Pasqualetti, Filippo Zanella, Jeffrey R. Peters, Markus Spindler, Ruggero Carli, and Francesco Bullo Abstract](https://www.pdfsearch.io/img/d7ae8bff557068e74452412e8c17a4bf.jpg) | Add to Reading ListSource URL: www.fabiopas.itLanguage: 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 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](https://www.pdfsearch.io/img/4b6fc7b3e0b1e1038f9c7cfd67a195bd.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2013-11-04 03:36:30
|
---|
13![Simultaneous Boundary Partitioning and Cameras Synchronization for Optimal Video Surveillance ? F. Zanella ∗ F. Pasqualetti ∗∗ R. Carli ∗ F. Bullo ∗∗ ∗ Simultaneous Boundary Partitioning and Cameras Synchronization for Optimal Video Surveillance ? F. Zanella ∗ F. Pasqualetti ∗∗ R. Carli ∗ F. Bullo ∗∗ ∗](https://www.pdfsearch.io/img/ed11d0ad65b21d7cc2a3a1e7700293dc.jpg) | Add to Reading ListSource URL: www.fabiopas.itLanguage: 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 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](https://www.pdfsearch.io/img/19cad538fe10aae97d27b7a8c70d02e5.jpg) | Add to Reading ListSource URL: oakland09.cs.virginia.eduLanguage: 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 Verified Indifferentiable Hashing into Elliptic Curves Gilles Barthe1 , Benjamin Gr´egoire2 , Sylvain Heraud2 , Federico Olmedo1, and Santiago Zanella-B´eguelin3 1](https://www.pdfsearch.io/img/1d1911b3d76ec8b0142660b3b37cfe4b.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-18 05:09:59
|
---|
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 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](https://www.pdfsearch.io/img/acd2eefb5af24634dce5359c646dab21.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36
|
---|
17![T +Santiago Zanella Béguelin H +u + T +Santiago Zanella Béguelin H +u +](https://www.pdfsearch.io/img/5ee48d1d6c6421269a6240a9911b8219.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2013-03-13 12:33:24
|
---|
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 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](https://www.pdfsearch.io/img/8b5b769c7c94dd5ab123a518d3e08f24.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36
|
---|
19![Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2](https://www.pdfsearch.io/img/f10c29cbd938b936913342b600670ed9.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2013-03-13 12:33:24
|
---|
20![CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft](https://www.pdfsearch.io/img/beedfb26862e44d939a563ab09a6e9ec.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36
|
---|