Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
Conference Proceeding
Overview
publication date
- May 22, 2022
has restriction
- green
Date in CU Experts
- January 30, 2024 9:06 AM
Full Author List
- Pacheco ML; Hippel MV; Weintraub B; Goldwasser D; Nita-Rotaru C
author count
- 5