Trevor Kann

According to our database, Trevor Kann authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

UAV Resilience Against Stealthy Attacks.

Arthur Amorim, Max Taylor, Trevor Kann, Gary T. Leavens, William L. Harrison, Lance Joneckis

CoRR, March, 2025

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Gary T. Leavens, Bill Harrison, Lance Joneckis, Trevor Kann

CoRR, January, 2025

Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types.

Arthur Amorim, Max Taylor, Trevor Kann, William L. Harrison, Gary T. Leavens, Lance Joneckis

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

CoCoT: Collaborative Contact Tracing.

Trevor Kann, Lujo Bauer, Robert K. Cunningham

Proceedings of the Fourteenth ACM Conference on Data and Application Security and Privacy, 2024

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.

Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis

Proceedings of the Annual Computer Security Applications Conference, 2024