1 search result for "author:"Bruno Blanchet <bruno.blanchet@inria.fr>, Vincent Cheval <vincent.cheval@inria.fr>, Marc Sylvestre""
Showing 1 - 1
-
ProVerif: Cryptographic protocol verifier in the symbolic modelBruno Sylvestre2.05GPL-2.0-or-laterUsed by 0 other packages18 Oct 2023