Andrew Cook, Luca Viganò 0001. A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement. In IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, September 7-11, 2020. pages 280-292, IEEE, 2020. [doi]
Abstract is missing.