Robert Künnemann
Doctorant, INRIA
Voici mes
publications et quelques
exposés récents
Thèmes de recherche
- fondations pour l'analyse du security APIs
- Simulation-based Security
- Rational Cryptography
Recherche
Enseignement
- TD cryptographie (2008 à Université du Saarbruck)