CrypFormBench is a new benchmark jointly covering symbolic and computational security to evaluate LLMs on five formal analysis capabilities, with results showing top model Claude-3.5 scores 48.7/100 and most models struggling on generation, transformation, and correction.
The Transport Layer Security (TLS) Protocol Version 1.2
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.CR 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
A new multi-surface evidence framework for post-quantum TLS observability that combines passive, active, certificate, and registry data to assess endpoint capabilities across TLS 1.2/1.3 scenarios and outperforms prior analyzers in controlled tests and public campaigns.
citing papers explorer
-
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
CrypFormBench is a new benchmark jointly covering symbolic and computational security to evaluate LLMs on five formal analysis capabilities, with results showing top model Claude-3.5 scores 48.7/100 and most models struggling on generation, transformation, and correction.
-
Observability for Post-Quantum TLS Readiness: A Multi-Surface Evidence Framework
A new multi-surface evidence framework for post-quantum TLS observability that combines passive, active, certificate, and registry data to assess endpoint capabilities across TLS 1.2/1.3 scenarios and outperforms prior analyzers in controlled tests and public campaigns.