2 search results for "author:"Pierre-Yves Strub""
Showing 1 - 2
-
Archetype language compiler1.5.3MITUsed by 0 other packages17 Dec 2024
-
CryptoVerif: Cryptographic protocol verifier in the computational model2.11CECILL-BUsed by 0 other packages29 Sep 2024