Observatorio de I+D+i UPM

Memorias de investigación
Thesis:
Implementing a Term Rewriting Engine for the EasyCrypt Framework
Year:2015
Research Areas
  • Engineering,
  • Information technology and adata processing
Information
Abstract
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.
International
No
Type
Master
Mark Rating
Sobresaliente cum laude
Date
28/07/2015
Participants
  • Director: Manuel Carro Liñares (UPM)
  • Autor: Guillermo RAMOS Gutierrez (IMDEA Software Institute)
Research Group, Departaments and Institutes related
  • Creador: Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 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)