@misc{indiciae83c8115359b0,
  title = {CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions},
  author = {Marco Rocchetto and Nils Ole Tippenhauer},
  year = {2016},
  url = {https://arxiv.org/abs/1607.02562},
  note = {Source identifier: 1607.02562}
}