Observatorio de I+D+i UPM

Memorias de investigación
Tesis:
Implementing a Term Rewriting Engine for the EasyCrypt Framework
Año:2015
Áreas de investigación
  • Ingenierías,
  • Ciencias de la computación y tecnología informática
Datos
Descripción
La sociedad depende hoy más que nunca de la tecnología, pero la inversión en seguri-dad es escasa y los sistemas informáticos siguen estando muy lejos de ser seguros. La criptografía es una de las piedras angulares de la seguridad en este ámbito, por lo que recientemente se ha dedicado una cantidad considerable de recursos al de-sarrollo de herramientas que ayuden en la evaluación y mejora de los algoritmos criptográ?cos. EasyCrypt es uno de estos sistemas, desarrollado recientemente en el Instituto IMDEA Software en respuesta a la creciente necesidad de disponer de herramientas ?ables de veri?cación formal de criptografía. En este trabajo se abordará la implementación de una mejora en el reductor de tér-minos de EasyCrypt, sustituyéndolo por una máquina abstracta simbólica. Para ello se estudiarán e implementarán previamente dos máquinas abstractas muy conocidas, la Máquina de Krivine y la ZAM, introduciendo variaciones sobre ellas y estudiando sus diferencias desde un punto de vista práctico.
Internacional
No
ISBN
Tipo de Tesis
Master
Calificación
Sobresaliente cum laude
Fecha
28/07/2015
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Manuel Carro Liñares (UPM)
  • Autor: Guillermo RAMOS Gutierrez (IMDEA Software Institute)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)