DEV Community

Discussion on: Automated attack synthesis by extracting protocol FSMs from RFCs

Collapse
 
michelemauro profile image
michelemauro

That's... simply awesome. Great work!

Collapse
 
maxvonhippel profile image
Max von Hippel

Thank you! Really appreciate it! Please let us know if you have any questions. Also, if you have time, try running the code! We think it's pretty cool and we are happy to answer questions here or on Github Issues. Thanks!