On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.

Ugo Dal Lago, Giulia Giusti

Browse the full CONCUR paper archive.