Formal Verification of Confidentiality in DNSSEC and E-DNSSEC Protocols using pi-calculus and ProVerif. - Kaouthar Chetioui; Ghizlane Orhanou; Hicham Bensaid; Ilias Cherkaoui; Youness Chibi (EUSPN/ICTH, 2019)