all InfoSec news
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. (arXiv:2305.11781v1 [cs.CR])
cs.CR updates on arXiv.org arxiv.org
Inferring protocol formats is critical for many security applications.
However, existing format-inference techniques often miss many formats, because
almost all of them are in a fashion of dynamic analysis and rely on a limited
number of network packets to drive their analysis. If a feature is not present
in the input packets, the feature will be missed in the resulting formats. We
develop a novel static program analysis for format inference. It is well-known
that static analysis does not rely …
analysis applications critical drive dynamic dynamic analysis fashion implementation network packets protocol security techniques