Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joseph P. Near; Damián Árquez; Federico Olmedo; Éric Tanter (ACM Trans. Program. Lang. Syst., 2023)

Gradual Sensitivity Typing. - Damián Árquez; Matías Toro; Éric Tanter (CSF, 2025)