Not registered as user yet

Name:Tania Richmond
Affiliation:INRIA, Rennes, France then DGA - Maîtrise de l’Information

Contributions

PEPM 2022 Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types
Show activities from other conferences

Using general profile