Max Taylor

16 papers A* 1A 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.
CoRR
Arthur Amorim, Max Taylor, Gary T. Leavens, Bill Harrison, Lance Joneckis, Trevor Kann
2025 — conf
Enforcing MAVLink Safety & Security Properties via Refined Multiparty Session Types.
NFM
Arthur Amorim, Max Taylor, Trevor Kann, William L. Harrison, Gary T. Leavens, Lance Joneckis
2025 — conf
Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions.
DSN-W
Max Taylor, Arthur Amorim
2025 — conf
Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types.
ACSAC Workshops
Max Taylor, Arthur Amorim, Lance Joneckis
2025 J jnl
UAV Resilience Against Stealthy Attacks.
CoRR
Arthur Amorim, Max Taylor, Trevor Kann, Gary T. Leavens, William L. Harrison, Lance Joneckis
2024 J jnl
Cocoon: Static Information Flow Control in Rust.
Proc. ACM Program. Lang.
Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin
2024 — conf
Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.
ACSAC Workshops
Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis
2024 J jnl
Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.
CoRR
Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis
2022 A* conf
SA4U: Practical Static Analysis for Unit Type Error Detection.
ASE
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
2022 J jnl
SA4U: Practical Static Analysis for Unit Type Error Detection.
CoRR
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
2021 A conf
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles.
DSN
Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart
2021 J jnl
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles.
CoRR
Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart
2012 J jnl
Corrigendum to "Social networking as a nexus for engagement and exploitation of young people" [Inform Secur Tech Rep 16 (2) (2011) 44-50].
Inf. Secur. Tech. Rep.
Ethel Quayle, Max Taylor
2011 J jnl
Social networking as a nexus for engagement and exploitation of young people.
Inf. Secur. Tech. Rep.
Ethel Quayle, Max Taylor
2003 J jnl
Model of Problematic Internet Use in People with a Sexual Interest in Children.
Cyberpsychology Behav. Soc. Netw.
Ethel Quayle, Max Taylor
2001 J jnl
Child Seduction and Self-Representation on the Internet.
Cyberpsychology Behav. Soc. Netw.
Ethel Quayle, Max Taylor