SeriCrypt는 암호화 프로토콜을 위한 LLM 기반 컨텍스트 인식 직렬화 프레임워크로, 프로토콜 상태기계 학습·적합성 테스트·퍼징에 필요한 문법적으로 올바르고 암호학적으로 유효한 메시지 시퀀스 생성을 자동화한다. 비정형 프로토콜 명세에서 LLM이 필드 제약, 상태 의존성, 암호 연산 규칙을 추출해 전용 도메인 특화 언어(CDSL)로 표현된 통합 구조적 중간표현으로 변환하고, 프로토콜에 독립적인 실행 엔진이 CDSL을 해석해 필드 값 결정·암호 프리미티브 호출·바이트스트림 직렬화를 자동 처리한다. TLS 1.2/1.3, IKEv1/v2, SSH, TLCP 등 주요 구현체를 대상으로 평가한 결과 모든 구현체에서 생성된 메시지 시퀀스가 수용돼 핸드셰이크가 완료됐고, 보안 제약 테스트로 5건의 명세 위반을 발견했으며 동일 시간 예산에서 주요 퍼저보다 더 깊은 프로토콜 상태와 높은 코드 커버리지에 도달했다.

• •LLM으로 비정형 프로토콜 명세에서 필드·상태·암호 규칙을 추출해 CDSL로 구조화
• •TLS, IKEv1/v2, SSH, TLCP 등 주요 구현체 전체에서 핸드셰이크 성공
• •보안 제약 조건 테스트로 명세 위반 5건 발견
• •동일 시간 예산에서 기존 퍼저 대비 더 깊은 상태·높은 커버리지 달성