Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub, Modular code-based cryptographic verification, CCS ‘11: Proceedings of the 18th ACM conference on Computer and communications securityOctober 2011 Pages 341–350 (doi:10.1145/2046707.2046746)
Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub, Unsolvability of the Quintic Formalized in Dependent Type Theory, ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome / Virtual, France (hal:hal-03136002)
Created on October 8, 2022 at 18:12:30. See the history of this page for a list of all contributions to it.