On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments. - Ugo Dal Lago; Giulia Giusti (CONCUR, 2022)

On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version). - Ugo Dal Lago; Giulia Giusti (CoRR, 2022)

On Computational Indistinguishability and Logical Relations. - Ugo Dal Lago; Zeinab Galal; Giulia Giusti (APLAS, 2024)