"CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions."

Marco Rocchetto, Nils Ole Tippenhauer (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics