Max Taylor

According to our database, Max Taylor authored at least 7 papers between 2001 and 2024.

Collaborative distances:

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

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

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