IMDEA - PDFSEARCH.IO - Document Search Engine

IMDEA
Results: 286

#	Item
31	A Systematic Study of Cache Side Channels across AES Implementations Heiko Mantel1 , Alexandra Weber1 , and Boris K¨opf 2 1 Computer Science Department, TU Darmstadt, Darmstadt, Germany Add to Reading List Source URL: software.imdea.org Language: English - Date: 2017-05-18 11:37:54
32	Fast and Simple Horizontal Coordinate Assignment Ulrik Brandes and Boris K¨ opf Department of Computer & Information Science, University of Konstanz, Box D 188, 78457 Konstanz, Germany Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
33	LNCSEliminating Implicit Information Leaks by Transformational Typing and Unification Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
34	Knowledge and Effect: A Logic for Reasoning about Confidentiality and Integrity Guarantees (Extended Abstract) Scott Moore Harvard SEAS Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16
35	Technical Report No. 526 Timing-Sensitive Information Flow Analysis for Synchronous Systems Boris K¨opf and David Basin Information Security ETH Zurich, Switzerland Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
36	Certificate Translation for Optimizing Compilers Gilles Barthe IMDEA Software and Benjamin Gr´egoire and C´esar Kunz and Tamara Rezk INRIA Sophia Antipolis - M´editerran´ee Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2009-07-03 03:46:28
37	Automatic Discovery and Quantification of Information Leaks Michael Backes Saarland University and MPI-SWS Boris K¨opf Add to Reading List Source URL: software.imdea.org Language: English - Date: 2010-09-02 11:11:48
38	´ lvaro Garc´ıa P´ A erez IMDEA Software Institute Campus de Montegancedo s/nPozuelo de Alarc´ Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2018-02-15 08:39:22
39	The Beta Cube ´ Alvaro Garc´ıa IMDEA Software and Babel Research Group, Universidad Polit´ecnica de Madrid, Spain Pablo Nogueira, Emilio Jes´us Gallego Arias Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2011-05-30 05:03:39
40	Analysing Snapshot Isolation ANDREA CERONE, Imperial College London, UK ALEXEY GOTSMAN, IMDEA Software Institute, Spain Snapshot isolation (SI) is a widely used consistency model for transaction processing, implemented b Add to Reading List Source URL: software.imdea.org - Date: 2018-02-01 06:55:17

UPDATE