Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Verificación de programas"

Now showing items 1-4 of 4

    • Análisis de binarios usando ejecución simbólica 

      Cortez Sánchez, Joshep Joel (2018)
      En el presente trabajo se estudia, analiza y contribuye en el uso de técnicas y herramientas modernas para el análisis de programas ejecutables binarios. Hacemos énfasis en el uso de ejecución simbólica, mencionando algunas ...

    • CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades 

      Waquim, Pedro Eduardo (2014-03-20)
      Presentamos una herramienta para analizar propiedades de seguridad en protocolos distribuidos. La herramienta está construida sobre los schedulers llamados fuertemente distribuidos, donde el secreto también es considerado. ...

    • Verificación en tiempo de ejecución con Streams 

      Romero, Santiago Gabriel (2010)
      La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. ...

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