Team marelle

Members
Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Overall Objectives

Highlights

A major result of our team this year is the IND-CCA proof of cryptographic security of RSA-OAEP, in an effort undertaken mostly by two Marelle researchers and using the Certicrypt tool developed in our team.

A second highlight of the impact of our work is the translation in Chinese of the Coq'Art book, which was a major publication of our team a few years ago.


previous
next

Logo Inria