Patrick Baillot
AuthID: R-00K-HJ9
1
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 4
AUTHORS: Patrick Baillot; Gilles Barthe ; Ugo Dal Lago;
PUBLISHED: 2019, SOURCE: J. Autom. Reason., VOLUME: 63, ISSUE: 4
INDEXED IN: 
DBLP
DBLP2
TITLE: Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
AUTHORS: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
PUBLISHED: 2015, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
AUTHORS: Patrick Baillot; Gilles Barthe; Ugo Dal Lago;
PUBLISHED: 2015, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, VOLUME: 9450
INDEXED IN: DBLP
DBLP