Los sistemas de tipos para seguridad del flujo de información (information-flow security) y los sistemas de análisis de sensibilidad para privacidad diferencial (sensitivity analysis) han sido estudiados de manera independiente, pero existen indicios de que comparten principios subyacentes. Ambos pueden ser formalizados mediante efectos y coefectos, lo que sugiere la posibilidad de una teoría unificada que combine ambas disciplinas bajo un mismo marco de tipado.

Esta tesis explorará la conexión entre ambos enfoques, con el objetivo de diseñar un sistema de tipos que integre seguridad de flujo de información y análisis de sensibilidad. Se estudiará cómo garantizar propiedades clave como no interferencia (en seguridad) y preservación de métricas (en privacidad diferencial) dentro de un mismo modelo. 

El trabajo incluirá una formalización teórica del sistema, el desarrollo de un prototipo de lenguaje basado en estos principios y la evaluación de su aplicabilidad en escenarios de seguridad y privacidad de datos.