Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.

Patrick Baillot, Gilles Barthe, Ugo Dal Lago

Browse the full LPAR paper archive.