© Freestocks sur Unsplash Industries du futur Programmez en toute sécurité en Rust avec l’assistant de preuve Why3 05/03/2024
© Inria / Photo C. Lebedinsky Partenariats européens Assistants de preuve : renforcer la position européenne via EuroProofNet 01/03/2022
© Inria / Photo S. Erôme - Signatures Cryptographie Vers l’émergence d’un Internet de la preuve ? 12/04/2021
Pete Linforth de Pixabay Cryptographie Sécurité des données : une signature postquantique qui tient bon ! 02/03/2021
Image par Pete Linforth de Pixabay Garantir la sécurité de l’information à l’ère de l’ordinateur quantique 03/11/2020
© Sashkin - stock.adobe.com Blockchains : une chaire pour préparer les applications de demain 06/05/2019