Preprint
Aug 2026
SeriCrypt: An LLM-Driven Context-Aware Serialization Framework for Cryptographic Protocols
Constructing syntactically correct and cryptographically valid message sequences is essential for protocol state machine learning, conformance testing, and fuzzing. Unlike plaintext protocols, cryptographic protocols involve complex cross-message state dependencies and cryptographic computation constraints. Existing au...
Maosong Chen, Xi Chen, Mengcheng Ju et al.
· 0 citations