Centre(s) inria Inria Paris Centre Publications HALActivity reportsTeam's website Contacts Bruno Blanchet Team leader Christelle Guiziou Team assistant Abigail Palma Team assistant News Karthik Bhargavan - ERC Consolidator Grants 2015 08/01/2016 © Inria / Photo C. Morel Prosecco: cryptographic protocols in safe custody 05/02/2019 Hardware and software security © Inria / Photo B. Fourrier Aymeric Fromherz, an architect of software trust 04/03/2025 © Inria / Photo C. Morel Karthikeyan Bhargavan - making the internet a safer place 21/10/2019 Infrastructure software © PuntoStudioFoto Lda - stock.adobe.com Inria: helping to modernise income tax calculations with Mlang 01/03/2021 Software © PuntoStudioFoto Lda - stock.adobe.com CATALA translates law into code for more reliable administration 24/03/2025 Cătălin Hriţcu awarded an ERC grant 07/10/2016 © Inria / Photo C. Morel Karthikeyan Bhargavan : Inria–French Académie des sciences Young Researcher Award 21/11/2016 © Inria / Photo C. Morel Inria's challenge RIOT-fp : a major project aimed at improving the security and transparency of connected objects 29/01/2020 Digital Security © Inria / Photo C. Morel The essentials on: cybersecurity 28/01/2022 See more news Discover similar project-teams about the same theme
Hardware and software security © Inria / Photo B. Fourrier Aymeric Fromherz, an architect of software trust 04/03/2025
Infrastructure software © PuntoStudioFoto Lda - stock.adobe.com Inria: helping to modernise income tax calculations with Mlang 01/03/2021
Software © PuntoStudioFoto Lda - stock.adobe.com CATALA translates law into code for more reliable administration 24/03/2025
© Inria / Photo C. Morel Karthikeyan Bhargavan : Inria–French Académie des sciences Young Researcher Award 21/11/2016
© Inria / Photo C. Morel Inria's challenge RIOT-fp : a major project aimed at improving the security and transparency of connected objects 29/01/2020
