Automated Attack Synthesis by Extracting Finite State Machines from
Protocol Specification Documents

Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

18 February 2022

Maria Leonor Pacheco

Cristina Nita-Rotaru

Papers citing "Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents"

8 / 8 papers shown

Title
Retrieval Augmented Generation Based LLM Evaluation For Protocol State Machine Inference With Chain-of-Thought Reasoning Youssef Maklad Fares Wael Wael Elsersy Ali Hamdi 29 0 0 30 Jan 2025
Automatic State Machine Inference for Binary Protocol Reverse Engineering Junhai Yang Fenghua Li Yixuan Zhang Junhao Zhang Liang Fang Yunchuan Guo 54 0 0 03 Dec 2024
CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications Mirza Masfiqur Rahman Imtiaz Karim Elisa Bertino 23 3 0 18 Jul 2024
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification Jacob Ginesin Max von Hippel Evan Defloor Cristina Nita-Rotaru Michael Tüxen 16 0 0 08 Mar 2024
A Survey of Protocol Fuzzing Xiaohan Zhang Cen Zhang Xinghua Li Zhengjie Du Yuekang Li Yaowen Zheng Yeting Li Bing Mao Yang Liu Robert H. Deng 19 7 0 03 Jan 2024
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications Abdullah Al Ishtiaq Sarkar Snigdha Sarathi Das Syed Md Mukit Rashid Ali Ranjbar Kai Tu ... Zhezheng Song Weixuan Wang M. Akon Rui Zhang Syed Rafiul Hussain 11 7 0 06 Oct 2023
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers Ankit Kumar Max von Hippel Pete Manolios Cristina Nita-Rotaru 11 5 0 10 Dec 2022
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning Chris McMahon Stone Sam L. Thomas M. Vanhoef James Henderson Nicolas Bailluet Tom Chothia 8 16 0 04 Jun 2021