Security analysis of cache replacement policies

Cañones Martín, Pablo; Köpf, Boris y Reineke, Jan (2017). Security analysis of cache replacement policies. En: "6th International Conference on Principles of Security and Trust, POST 2017", 22-29 Apr 2017, Uppsala, Suecia. ISBN 978-3-662-54455-6. pp. 189-209. https://doi.org/10.1007/978-3-662-54455-6_9.

Descripción

Título: Security analysis of cache replacement policies
Autor/es:
  • Cañones Martín, Pablo
  • Köpf, Boris
  • Reineke, Jan
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 6th International Conference on Principles of Security and Trust, POST 2017
Fechas del Evento: 22-29 Apr 2017
Lugar del Evento: Uppsala, Suecia
Título del Libro: Principles of Security and Trust
Fecha: 2017
ISBN: 978-3-662-54455-6
Volumen: 10204
Materias:
Palabras Clave Informales: Replacement policy; Cache line; Memory block; Attack strategy; Shared cache
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Otro
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (414kB) | Vista Previa

Resumen

Modern computer architectures share physical resources between different programs in order to increase area-, energy-, and cost- efficiency. Unfortunately, sharing often gives rise to side channels that can be exploited for extracting or transmitting sensitive information. We currently lack techniques for systematic reasoning about this interplay between security and efficiency. In particular, there is no established way for quantifying security properties of shared caches. In this paper, we propose a novel model that enables us to characterize important security properties of caches. Our model encompasses two aspects: (1) The amount of information that can be absorbed by a cache, and (2) the amount of information that can effectively be extracted from the cache by an adversary. We use our model to compute both quantities for common cache replacement policies (FIFO, LRU, and PLRU) and to compare their isolation properties. We further show how our model for information extraction leads to an algorithm that can be used to improve the bounds delivered by the CacheAudit static analyzer.

Proyectos asociados

TipoCódigoAcrónimoResponsableTítulo
Gobierno de EspañaTIN2012-39391-C04-01Sin especificarFundación IMDEA SoftwareSound technologies for reliable, open new generation Software
Gobierno de EspañaTIN2015-70713-RSin especificarSin especificarDEDETIS
Comunidad de MadridS2013/ICE-2731 NSin especificarIMDEA Software InstituteN-GREENS

Más información

ID de Registro: 48201
Identificador DC: http://oa.upm.es/48201/
Identificador OAI: oai:oa.upm.es:48201
Identificador DOI: 10.1007/978-3-662-54455-6_9
URL Oficial: https://link.springer.com/chapter/10.1007/978-3-662-54455-6_9
Depositado por: Memoria Investigacion
Depositado el: 04 Abr 2018 11:14
Ultima Modificación: 04 Abr 2018 11:14
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM