IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
21	Loophole: Timing Attacks on Shared Event Loops in Chrome Pepe Vila,† and Boris K¨opf * IMDEA Software Institute University of Madrid (UPM) Add to Reading List Source URL: vwzq.net Language: English - Date: 2017-06-28 09:18:02
22	Speaker Recognition in Encrypted Voice Streams Michael Backes1,2 , Goran Doychev1 , Markus D¨ urmuth1 , and Boris K¨opf2 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
23	Technical Report No. 498 Eliminating Implicit Information Leaks by Transformational Typing and Unification Boris K¨opf1 and Heiko Mantel2? 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
24	A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2016-06-13 14:12:31
25	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: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptography Error detection and correction Mathematics Digital signature Hash function Coding theory Public-key cryptography Substitution Fuzzy extractor
26	An Information-Theoretic Model for Adaptive Side-Channel Attacks Boris Köpf David Basin Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
27	Security Analysis of Cache Replacement Policies Pablo Ca˜ nones1 , Boris K¨opf1 , and Jan Reineke2 1 IMDEA Software Institute, Madrid, Spain Add to Reading List Source URL: software.imdea.org Language: English - Date: 2017-01-24 06:16:37
28	Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella B´eguelin INRIA Sophia Antipolis, 2004 Route des Lucioles, 06902 Sophia Antipolis, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Smart cards Computing Cryptography Security engineering Java Card GlobalPlatform Subscriber identity module Credit card Card reader Formal methods KeY Predicate transformer semantics
29	Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris K¨opf Federico Olmedo Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-01-26 05:06:08
30	Automatically Deriving Information-theoretic Bounds for Adaptive Side-channel Attacks Boris Köpf MPI-SWS Martin-Luther-Strasse 12 DSaarbrücken Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48