Browsing by Author "Arquez Trigo, Damián Nicolás"
Now showing items 1-1 of 1
-
Arquez Trigo, Damián Nicolás (Universidad de Chile, 2021)Sensitivity type systems are used to reason about the sensitivity of computations. This is of particular interest in the fields of privacy, specially differential privacy. One caveat of sensitivity types is that, being a ...