Equipe-projet PROSECCO PROgrammation SÉCurisée avec de la CryptOgraphie PROgrammation SÉCurisée avec de la CryptOgraphie
Centre(s) inria Centre Inria de Paris Publications HALRapport d'activitéSite Web Contacts Bruno Blanchet Responsable de l'équipe Christelle Guiziou Assistant(e) de l'équipe Abigail Palma Assistant(e) de l'équipe Dans l'actualité © Inria / Photo C. Morel Prosecco : les protocoles cryptographiques sous bonne garde 05/02/2019 © Inria / Photo C. Morel Karthikeyan Bhargavan - ERC Consolidator Grants 2015 08/01/2016 Sécurité des équipements et des logiciels © Inria / Photo B. Fourrier Aymeric Fromherz, l’architecte de la confiance logicielle 04/03/2025 © Inria / Photo C. Morel Karthikeyan Bhargavan rend internet plus sûr 21/10/2019 Cătălin Hriţcu s'est vu décerner une bourse ERC Starting Grant 07/10/2016 Karthikeyan Bhargavan : Prix Inria - Académie des sciences du jeune chercheur 21/11/2016 Logiciel © PuntoStudioFoto Lda - stock.adobe.com CATALA traduit la loi en code pour une administration plus fiable 24/03/2025 Logiciel d'infrastructure © PuntoStudioFoto Lda - stock.adobe.com Avec Mlang, Inria participe à la modernisation du calcul de l'impôt sur le revenu 01/03/2021 © Inria / Photo C. Morel Défi RIOT-fp : un projet d’envergure pour améliorer la sécurité et la transparence des objets connectés 29/01/2020 Sécurité numérique © Inria / Photo C. Morel L’essentiel sur : la cybersécurité 28/01/2022 Toute l'actualité de l'équipe-projet Découvrez les autres équipes qui travaillent sur le même thème
Sécurité des équipements et des logiciels © Inria / Photo B. Fourrier Aymeric Fromherz, l’architecte de la confiance logicielle 04/03/2025
Logiciel © PuntoStudioFoto Lda - stock.adobe.com CATALA traduit la loi en code pour une administration plus fiable 24/03/2025
Logiciel d'infrastructure © PuntoStudioFoto Lda - stock.adobe.com Avec Mlang, Inria participe à la modernisation du calcul de l'impôt sur le revenu 01/03/2021
© Inria / Photo C. Morel Défi RIOT-fp : un projet d’envergure pour améliorer la sécurité et la transparence des objets connectés 29/01/2020
