Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru. Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 51-68, IEEE, 2022. [doi]
No reviews for this publication, yet.