Skip to content

Research facility · founded 2016

PROSECCO: Programming securely with cryptography

Paris, France · team.inria.fr/prosecco

Part of Institut national de recherche en sciences et technologies du numérique

Manage this page

Citations, last 5 years: 295
Works, last 5 years: 58
h-index: 52
Scientists listed: 1
Grants since 2016: 0

Strongest research topics

Logic, programming, and type systems112Computer Science
Advanced Authentication Protocols Security92Computer Science
Formal Methods in Verification71Computer Science
Cryptography and Data Security60Computer Science
Security and Verification in Computing56Computer Science
Cryptographic Implementations and Security39Computer Science

Most cited scientists, last five years

Justine SauvagePROSECCO: Programming securely with cryptography · FranceComputer Science0citations, 5 yrs4works, 5 yrs2h-index