IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
11	PDF Document Add to Reading List Source URL: software.imdea.org - Date: 2011-04-25 04:40:21
12	PDF Document Add to Reading List Source URL: software.imdea.org - Date: 2012-06-20 03:31:17
13	PDF Document Add to Reading List Source URL: software.imdea.org - Date: 2017-06-15 10:01:05
14	A Language-theoretic View on Network Protocols Pierre Ganty1 , Boris Köpf1 , and Pedro Valero1,2 1 IMDEA Software Institute, Madrid, Spain Universidad Politécnica de Madrid, Spain Add to Reading List Source URL: software.imdea.org Language: English - Date: 2017-07-06 06:45:59
15	Timing-Sensitive Information Flow Analysis for Synchronous Systems Boris K¨opf and David Basin Information Security ETH Zurich, Switzerland {bkoepf,basin}@inf.ethz.ch Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
16	Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks Boris K¨opf MPI-SWS Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
17	La Vanguardia, Sabado 28 de Enero deJosé Mª Ordovás; USDA-HNRCA at Tufts University, (Boston); Cardiovascular Epidemiology and Population Genetics Department, CNIC and IMDEA Alimentacion (Madrid) Jose.ordovas@t Add to Reading List Source URL: www.espaciosaludinvestiga.es - Date: 2013-03-15 04:15:45
18	Non-Uniform Distributions in Quantitative Information-Flow Michael Backes Matthias Berg Boris Köpf Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-12-22 05:21:46
19	Eliminating Timing Leaks by Unification (Extended Abstract) Boris K¨opf and Heiko Mantel ETH Z¨ urich, Switzerland {boris.koepf,heiko.mantel}@inf.ethz.ch Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
20	Verifying Information Flow Properties of Hybrid Systems Pavithra Prabhakar Boris Köpf IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-21 11:37:26

UPDATE