Report copyright - V´erification automatique de protocoles cryptographiques ... · des protocoles cryptographiques dans le mod`ele calculatoire, et David Pointcheval pour m’avoir patiemment expliqu´e
Please pass captcha verification before submit form