30
30
55
55
60
60
30
30
42
60
55
55
55
57
42
57
30
ReCAST: Restoration-aware Cascaded Stage-wise Training for Obfuscated SMS Risk Classification
ReCAST distills a large teacher model's de-obfuscation ability into smaller models for robust classification of obfuscated Chinese SMS fraud messages.
The paper proposes ReCAST, a restoration-aware cascaded stage-wise training framework for classifying obfuscated Chinese SMS messages. It distills a large teacher model's de-obfuscation capability into a smaller deployable student by supervising obfuscated span detection, obfuscation type prediction, and text restoration, then uses the student for risk classification. On an internally constructed real-world Chinese SMS benchmark, ReCAST substantially outperforms directly trained baselines under obfuscation, targeting production latency and throughput constraints.
28
57
30
30
57
30
30
30
55
60
45
57
30
30
Understanding the Usability of Cryptographic Verification Tools
Survey of Tamarin and ProVerif users reveals usability barriers: debugging non-termination, model validation, and opaque proof failures hinder cryptographic protocol verification.
The paper presents an exploratory human-centered survey of researchers, graduate students, and practitioners with hands-on experience using Tamarin, ProVerif, and related cryptographic protocol verification tools. Findings reveal usability barriers across the verification workflow, including difficulties debugging non-termination and performance issues plus the lack of systematic methods for validating formal models against real protocols. When proofs fail without concrete attacks, users commonly simplify models, add helper lemmas, and revisit modeling abstractions. Participants called for actionable diagnostics, clearer explanations of results, visualization, and automation for recurring proof tasks.
20
30
60
55
30
55
45
30
60