Introducción al Trabajo de Título
Entrar

Python con Tipos para Sensibilidad y Privacidad Memoria Doble Titulación Lenguajes de programación Seguridad y privacidad

Profesor Guia
Profesor Coguia
Sub Áreas Análisis de programas, Diseño e implementación de lenguajes, Semántica de lenguajes, Métodos formales y teoría de la seguridad, Seguridad del software y de las aplicaciones

Descripción


La privacidad diferencial es la técnica de referencia para asegurar la privacidad de individuos en sistemas que publican información agregada. En esencia, consiste en agregar un ruido proporcionado a la sensibilidad de una función/consulta. Hoy en día esto se hace a mano y por ende es muy fácil agregar demasiado ruido (resultado poco útil) o demasiado poco ruido (rompiendo privacidad). En la literatura, se han desarrollado varios sistemas de tipos para ayudar a los programadores a calibrar el ruido a agregar. El objetivo de este trabajo es desarrollar una extensión de Python, en particular de su sistema de tipos opcionales, para proveer esa ayuda en un contexto de amplio impacto.

Este proyecto contempla varias aristas, que pueden ser exploradas en distintas memorias/tesis.