Search
Now showing items 1-1 of 1
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 ...