-
Formal verification of secured routing protocols
With the development of digital networks, such as Internet, communication protocols are omnipresent. Digital devices have to interact with each other in order to... -
Biométrie à usage unique pour la monétique
National audience -
Challenge-based speaker recognition for mobile authentication
International audience
