@inproceedings{rocchetto16cpdy, author = {Marco Rocchetto and Nils Ole Tippenhauer}, title = {CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions}, booktitle = {At the 18th Conference on Formal Engineering Methods (ICFEM 2016), Japan, November 14, November 18, 2016}, year = {2016} }