Documents Savoirs Fonction thêta et applications à la cryptographie, Theta functions and cryptographic applications : theta functions and applications in cryptography Damien Robert
Documents Savoirs La composition des protocoles de sécurité avec la méthode B événementielle, Security protocols composition using Event B Nazim Benaïssa