Konstantin Kogos, Sergey Zapechnikov. Studying Formal Security Proofs for Cryptographic Protocols. Matt Bishop; Lynn Futcher; Natalia Miloslavskaya; Marianthi Theocharidou. 10th IFIP World Conference on Information Security Education (WISE), May 2017, Rom
HAL Archives-Ouvertes,
Konstantin Kogos, Sergey Zapechnikov. Studying Formal Security Proofs for Cryptographic Protocols.