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

Publication
  • Proceedings of the International Conference on Formal Engineering Methods (ICFEM) *