Sabrina Tarento
Original record- Institution
- Université de Nice-Sophia Antipolis
- Year
- 2006
- Country
- France
- MGP identifier
- 143490
Dissertation: Vérification formelle d'algorithmes cryptographiques dans le modèle générique
Mathematics Subject Classification: 94—Information and communication, circuits
Advisors 2
- Gilles Jacques BartheVictoria University of Manchester · 1993
- André HirschowitzUniversité de Nice-Sophia Antipolis · 1972
Students 0
No students recorded in this snapshot.