-
Rewriting for Cryptographic Protocol Verification - Extended Version -
On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally... -
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
