Juan Diego Campo

Es Ingeniero en Computación de la Facultad de Ingeniería de la Universidad de la República, Uruguay. Obtuvo un Doctorado en Informática del PEDECIBA (Programa para el Desarrollo de las Ciencias Básicas) en 2016.

Es Profesor Adjunto (Grado 3) del Instituto de Computación de dicha facultad, donde integra el Grupo de Seguridad Informática. Desde el 2017 es investigador grado 3 del Área Informática del PEDECIBA, y es miembro del Sistema Nacional de Investigadores, nivel iniciación, desde 2022.

Sus líneas de investigación incluyen métodos formales, verificación de programas y seguridad informática. Actualmente está trabajando en el desarrollo de plataformas para entrenamiento en ciberseguridad y en el desarrollo de metodologías y herramientas para la automatización de detección y prevención de ataques a aplicaciones web.

Mi actividad

Revistas y Conferencias internacionales

Tutoría de tesis

• Detection and classification of privacy leaks enabled by third-party trackers in COVID-19 mobile applications
• Razonando sobre la seguridad de Android
• Hacia la especificación y verificación formal de algoritmos criptográficos: Mini-AES certificado
• Descripción y analisis del modelo de seguridad de Android