Max Taylor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ACSAC | Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types. | Max Taylor, Arthur Amorim, Lance Joneckis |
| 2025 | DSN | Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions. | Max Taylor, Arthur Amorim |
| 2024 | ACSAC | Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation. | Arthur Amorim, Trevor Kann, Max Taylor, Lance Joneckis |
| 2021 | DSN | Avis: In-Situ Model Checking for Unmanned Aerial Vehicles. | Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart |