INTEL_REPORT
arXiv — Cryptography & Security (cs.CR) · published 6/25/2026, 4:00:00 AM · TLP amber
Summary
Ingested excerpt (first ~500 chars of normalized text).
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes arXiv:2606.25561v1 Announce Type: new Abstract: Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-security tools (e.g., CryptoVerif and EasyCrypt) improve the automation of security proofs, they still rely on experts to abstract schemes and write …
https://arxiv.org/abs/2606.25561
sha256:ab66d4faaf8a4f42424152d851a04f997d8f153b536fcf8ce96113ff0833bc77
What we pulled out
Deterministic extractor (IOC + allowlisted tokens + ATT&CK IDs present in DB).
Indicators
Linked with report → mentions → indicator. Values open the indicator workspace.
No indicators linked for this report.
Malware families
Allowlist token matches only.
Threat actors mentioned
Allowlist mentions — not a formal attribution verdict.
ATT&CK techniques
MITRE IDs referenced in text and present in local technique table.
CONTINUE INVESTIGATION
High-signal pivots without leaving the thread you started in search.
Browse the report corpus.