Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The vulnerabilities existing in network protocol implementations are difficult to detect. The main reason is that the state space of complex protocol binary software is too large to explore.  proposes a novel approach that leverages selective symbolic execution to test network protocol binary software directly, which confines symbolic execution in the secure-sensitive area.  also builds a prototype system, S2EProtocol, upon the Selective Symbolic Execution (S2E) platform and uses it to test several real network protocol binary software. The evaluation results show that the proposed method can be used to find vulnerabilities efficiently and effectively.
['Shameng Wen', 'Chao Feng', 'Qingkun Meng', 'Bin Zhang', 'Ligeng Wu', 'Chaojing Tang']
I am writing a research paper on a idea Testing Network Protocol Binary Software with Selective Symbolic Execution
[{"from": "human", "value": "I am writing a research paper on a idea Testing Network Protocol Binary Software with Selective Symbolic Execution"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The vulnerabilities existing in network protocol implementations are difficult to detect. The main reason is that the state space of complex protocol binary software is too large to explore.  proposes a novel approach that leverages selective symbolic execution to test network protocol binary software directly, which confines symbolic execution in the secure-sensitive area.  also builds a prototype system, S2EProtocol, upon the Selective Symbolic Execution (S2E) platform and uses it to test several real network protocol binary software. The evaluation results show that the proposed method can be used to find vulnerabilities efficiently and effectively."}]