Max Taylor

According to our database, Max Taylor authored at least 12 papers between 2001 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

Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions.

Max Taylor, Arthur Amorim

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

Cocoon: Static Information Flow Control in Rust.

Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin

Proc. ACM Program. Lang., 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

2022

SA4U: Practical Static Analysis for Unit Type Error Detection.

Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Avis: In-Situ Model Checking for Unmanned Aerial Vehicles.

Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2012

Corrigendum to "Social networking as a nexus for engagement and exploitation of young people" [Inform Secur Tech Rep 16 (2) (2011) 44-50].

Ethel Quayle, Max Taylor

Inf. Secur. Tech. Rep., 2012

2011

Social networking as a nexus for engagement and exploitation of young people.

Ethel Quayle, Max Taylor

Inf. Secur. Tech. Rep., 2011

2003

Model of Problematic Internet Use in People with a Sexual Interest in Children.

Ethel Quayle, Max Taylor

Cyberpsychology Behav. Soc. Netw., 2003

2001

Child Seduction and Self-Representation on the Internet.

Ethel Quayle, Max Taylor

Cyberpsychology Behav. Soc. Netw., 2001