Now showing items 1-1 of 1

    • Verificación formal de código binario 

      Arch, David Daniel (2015)
      Los buffer overflow son una de las vulnerabilidades mas frecuentes que se encuentran en el software que utilizamos diariamente. El análisis de este tipo de vulnerabilidades se hace tedioso y complejo cuando solo se tiene ...