Browsing by Author "Arranz Olmos, Santiago"
Now showing items 1-1 of 1
-
Soporte para ARM en un compilador verificado
Arranz Olmos, Santiago (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 ...