Documents Etudes supérieures Reconstruction of Attacks against Cryptographic Protocols Xavier Allamigeon