Skip to main navigation Skip to search Skip to main content
Boise State University

View Scopus Profile

Max Taylor

 https://orcid.org/0009-0005-7873-9694
    20212025

    Research activity per year

    Fingerprint

    Dive into the research topics where Max Taylor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further
    • 8 Conference contribution
    • 1 Paper
    • 1 Article

    • Automated Synthesis of Verified Neural Network Controllers from Linear Temporal Logic Specifications

      O’Quinn, A. & Taylor, M., 12 Oct 2025, RICSS 2025 - Proceedings of the 2025 Workshop on Re-design Industrial Control Systems with Security. p. 26-34 9 p. (RICSS 2025 - Proceedings of the 2025 Workshop on Re-design Industrial Control Systems with Security).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

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

      Amorim, A., Taylor, M., Kann, T., Harrison, W. L., Leavens, G. T. & Joneckis, L., 2025, NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Dutle, A., Humphrey, L. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-10 10 p. (Lecture Notes in Computer Science; vol. 15682 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types

      Taylor, M., Amorim, A. & Joneckis, L., 9 Dec 2025, 2025 Annual Computer Security Applications Conference Workshops (ACSAC Workshops). Danvers, MA: IEEE Computer Society, p. 99-109 11 p. 11418027

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

      1 Scopus citations

    • UAV Resilience Against Stealthy Attacks

      Amorim, A., Taylor, M., Kann, T., Leavens, G. T., Harrison, W. L. & Joneckis, L., 2025, 2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025. Institute of Electrical and Electronics Engineers Inc., p. 994-1001 8 p. (2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Cocoon: Static Information Flow Control in Rust

      Lamba, A., Taylor, M., Beardsley, V., Bambeck, J., Bond, M. D. & Lin, Z., 29 Apr 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, 100.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      8 Scopus citations
    View all 10 Research outputs