DNSsec in Isabelle - Replay Attack and Origin Authentication.

Florian Kammller, Yoney Kirsal Ever, Xiaochun Cheng

Browse the full SMC paper archive.