A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement

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]

Authors

Andrew Cook

This author has not been identified. Look up 'Andrew Cook' in Google

Luca Viganò 0001

This author has not been identified. Look up 'Luca Viganò 0001' in Google