Search
Now showing items 1-2 of 2
Soporte para ARM en un compilador verificado
(2022-12)
Este trabajo es un estudio de un lenguaje de programación, llamado Jasmin, utilizado para desarrollar criptografía eficiente y confiable, así como una propuesta de una extensión a esta herramienta para agregar soporte para ...
Construcción de programas que manejan dinámicamente la memoria
(2015-08-06)
En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para ...