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 ...