Modeling speculative execution over indirect jumps

López Alonso, Javier (2019). Modeling speculative execution over indirect jumps. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Description

Title: Modeling speculative execution over indirect jumps
Author/s:
  • López Alonso, Javier
Contributor/s:
  • Hermenegildo Salinas, Manuel Vicente
  • Guarnieri, Marco
Item Type: Final Project
Degree: Grado en Ingeniería Informática
Date: 2 July 2019
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (302kB) | Preview

Abstract

La ejecución especulativa es una técnica de optimización presente en los procesadores modernos. Como se demostró en el reciente ataque Spectre, un atacante puede extraer información confidencial a través de los efectos secundarios producidos por instrucciones ejecutadas especulativamente. Spectector es una herramienta que estudia estas filtraciones causadas por ejecución especulativa y sus contramedidas. En esta tesis, Spectector es extendido para detectar nuevos tipos de filtraciones de información causadas por ejecución especulativa, más concretamente, por predicción de saltos. La tesis proporciona el contexto necesario sobre la materia, explica las modificaciones a Spectector y muestra resultados prácticos.---ABSTRACT---Speculative execution is an optimization technique used in modern processors. As illustrated by the recent Spectre attack, attackers can extract sensitive data from the microarchitectural side-effects left behind by speculatively executed instructions. Spectector is a tool to study these speculative leaks and their countermeasures. In this thesis, Spectector is extended to detect new kinds of leaks produced by speculative execution, more concretely, by branch prediction. This thesis provides the necessary background on the topic, explains the modifications to the Spectector tool, and showcases practical results.

More information

Item ID: 63808
DC Identifier: http://oa.upm.es/63808/
OAI Identifier: oai:oa.upm.es:63808
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 15 Sep 2020 08:05
Last Modified: 15 Sep 2020 08:05
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM