Security Protocol Analysis Tool

Authors

• Owen Forsyth
• Jack Ashworth

Files

Description

This project is an extension of a CS capstone project where a secure protocol analysis tool, originally created by Owen Forsyth and Daniel Mead, consisting of a large number of enhancements in usability and analysis types.

Publication Date

4-30-2026

Keywords

Automated Security Analysis

Recommended Citation

Forsyth, Owen and Ashworth, Jack, "Security Protocol Analysis Tool" (2026). RCAC 2026 Posters. 96.
https://scholarworks.merrimack.edu/rcac_2026_posters/96