Skip to content

ProtoCase: Case-Based Repair for LLM-Generated Security Protocol Models.

Shicong Zhang

VenueCICCBR
Year2026
ProceedingsICCBR

Browse the full ICCBR paper archive.