4 papers
(Implicitly) Characterizing Probabilistic Polynomial Time as Used in Cryptography
Ugo Dal Lago, Giulia Giusti
In this paper, we show how a recently introduced -calculus for randomized computation, called , can accurately capture the notions of first- and second-order poly…
JAX Autodiff from a Linear Logic Perspective (Extended Version)
Giulia Giusti, Michele Pagani
Autodiff refers to the core of the automatic differentiation systems developed in projects like JAX and Dex. Autodiff has recently been formalised in a linear typed calculus by Rad…
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
Giulia Giusti
The concept of linearity plays a central role in both mathematics and computer science, with distinct yet complementary meanings. In mathematics, linearity underpins functions and…
On Computational Indistinguishability and Logical Relations
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
A -calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographi…