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

Marco Rocchetto, Nils Ole Tippenhauer
October 2016
PDF DOI
Type
Conference paper
Publication
Proceedings of the International Conference on Formal Engineering Methods (ICFEM)