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

Browse the full EUSPN paper archive.