Menu Content/Inhalt
Home arrow Seminarios arrow [23/04] Charla Dr. Pablo Martínez López
[23/04] Charla Dr. Pablo Martínez López
Los primeros días de la próxima semana nos estará visitando el Dr. Pablo E. Martínez López (a.k.a. Fidel) del LIFIA, Univ. Nac. de La Plata. El lunes 23 de abril, en el aula común de computación, a las 17:00 dará una charla sobre
 
"Análisis estático de código para detección de vulnerabilidades en aplicaciones web"
 
en la que describirá la investigación que ha estado haciendo recientemente en conjunto con la empresa CORE Security Technologies S.A. 
 
Análisis estático de código para detección de vulnerabilidades en aplicaciones web.
Dr. Pablo E. Martínez López (LIFIA, Fac. Informática, UNLP)
http://www.lifia.info.unlp.edu.ar/es/fidel.htm

Resumen:
En esta charla se presentarán las principales características de los sistemas de tipos estáticos, para concentrarnos luego en una forma de inferencia de tipos que permite aproximar, para una expresión de tipo String, cuál es el lenguaje al que pertenecerán los posibles valores que la misma tome durante la ejecución de un programa.
Luego se describirá cómo esta técnica puede ser utilizada para la detección de vulnerabilidades de inyección de código en aplicaciones web. Esta idea fue una de las directrices del proyecto de investigación conjunta llevado a cabo por el LIFIA de la Universidad Nacional de La Plata y la empresa CORE Security Technologies S.A., del que se contarán las características principales.


 
Siguiente >
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com