2026· International Conference on Computer Aided Verification· pp. 167-180· 0 citations· 36 references
Computer Science
TL;DR
The distinctive features and support of Protocol state fuzzer, an open source, generic, modular, and extensible framework for state machine learning and testing of network protocol implementations, are described.
Abstract
. In recent years, protocol state fuzzing has emerged as an effective technique to analyze and test network protocol implementations, uncovering numerous security vulnerabilities, bugs, and non-conformance issues in them. This paper presents ProtocolState-Fuzzer ( PSF ), an open source, generic, modular, and extensible framework for state machine learning and testing of network protocol implementations. W e describe the distinctive features and support that PSF offers, its architecture and implementation, and briefly overview the protocol-specific state fuzzers that currently use PSF as their basis.
AFLWalk is created, a variant of AFLNet, as an attempt to address the challenge of testing stateful protocols by focusing exclusively on message-sequence mutations to steer exploration through protocol state machines, rather than applying byte-level mutations such as bit-flipping.
Philip-Ricardo Schoots, Ir. Erik Poll, F. Vaandrager· 0 citations
Security patterns are widely recognized as an effective solution for mitigating vulnerabilities in software design and development. However, ensuring that integrated patterns remain correct across evolving system specifications is a challenging problem in practice. This is more so when the evolution occurs at runtime....
Yanis Allouch, Salvador Martínez, Jean-Christophe Bach et al.· Proceedings of the ACM/IEEE...· 0 citations
This work is building an executable formal semantics for eBPF in F* that explicitly distinguishes cross-platform and platform-specific behaviors and envision this semantics as a practical foundation for a uniform, trustworthy eBPF across platforms.
Yan-Ze Li, Reto Achermann, Ivan Beschastnikh et al.· Proceedings of the 4th Works...· 0 citations
A stateful security verification methodology that combines stateful fuzzing with specification-guided security verification of the NG Application Protocol between the radio access network and the 5G core is proposed.
Seungjoon Na, Hwankuk Kim· Italian National Conference...· 0 citations
This paper proposes symbolic execution as an efficient approach to bounded verification of communication-protocol compliance in embedded firmware. Such protocols are often validated empirically, but conventional test cases may fail to expose subtle instances of noncompliance. We present an approach that applies symboli...
Xing-Hua Peng, Pai H. Chou· Proceedings of the 1st Inter...· 0 citations
This work derives the first model of WhatsApp Web's implementation of the Signal protocol and the most detailed model to date of Signal's original protocol, and reveals previously undocumented differences between the original libsignal library and WhatsApp's fork.
Moustafa Said, Aurora Naska, Kevin Morio et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
