Equipe de recherche MARELLE

Rapports d'activité

Highlights

Our work on formal proofs for cryptography now receives attention in best conferences of specialists of that domain.