Image de couverture de livre

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Curaba, Cristian, D'Ambrosi, Denis, Minisini, Alessandro, Antolín, Natalia Pérez-Campanero
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security Artificial Intelligence Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
par: Dasu, Vishnu Asutosh, et autres
Publié: (2026)

Formal Power Series on Algebraic Cryptanalysis
par: Nakamura, Shuhei
Publié: (2020)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
par: Amiot, Noé, et autres
Publié: (2025)

Cryptanalysis of a multivariate CCZ scheme
par: Caminata, Alessio, et autres
Publié: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
par: Bardet, Magali, et autres
Publié: (2025)

Optimal Communication Unbalanced Private Set Union
par: Dumas, Jean-Guillaume, et autres
Publié: (2024)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
par: Bizzarri, Alice, et autres
Publié: (2024)

PANTHER: Pluginizable Testing Environment for Network Protocols
par: Crochet, Christophe, et autres
Publié: (2025)

Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields
par: Leudière, Antoine, et autres
Publié: (2022)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
par: Gorna, Karolina, et autres
Publié: (2026)

Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings
par: Furue, Hiroki, et autres
Publié: (2021)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
par: Scherb, Christopher, et autres
Publié: (2023)

Computing Isomorphisms between Products of Supersingular Elliptic Curves
par: Gaudry, Pierrick, et autres
Publié: (2025)

Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
par: Oku, Sakura, et autres
Publié: (2026)

A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium
par: La Scala, Roberto, et autres
Publié: (2023)

Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher
par: La Scala, Roberto, et autres
Publié: (2025)

CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
par: Li, Zhihao, et autres
Publié: (2025)

On the Formalization of Cryptographic Migration
par: Loebenberger, Daniel, et autres
Publié: (2024)

Access Hoare Logic
par: Beckmann, Arnold, et autres
Publié: (2025)

Formal Verification of the Sumcheck Protocol
par: Bosshard, Azucena Garvía, et autres
Publié: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
par: Moran, Murat
Publié: (2026)

The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences
par: Kudo, Momonari, et autres
Publié: (2024)

SHA-256 Collision Attack with Programmatic SAT
par: Alamgir, Nahiyan, et autres
Publié: (2024)

Network Simulator-centric Compositional Testing
par: Rousseaux, Tom, et autres
Publié: (2025)

SAT and Lattice Reduction for Integer Factorization
par: Ajani, Yameen, et autres
Publié: (2024)

Formal Verification of Neural Certificates Done Dynamically
par: Henzinger, Thomas A., et autres
Publié: (2025)

Formal Verification of Permission Voucher
par: Reaz, Khan, et autres
Publié: (2024)

Bridging Threat Models and Detections: Formal Verification via CADP
par: Prelipcean, Dumitru-Bogdan, et autres
Publié: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
par: Nasrabadi, Faezeh, et autres
Publié: (2025)

Formal Verification of Parameterized Systems based on Induction
par: Xiu, Jiaqi, et autres
Publié: (2025)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
par: Jeanteur, Simon, et autres
Publié: (2023)

Automated Formal Verification of a Software Fault Isolation System
par: Sotoudeh, Matthew, et autres
Publié: (2025)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
par: Crochet, Christophe, et autres
Publié: (2025)

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
par: Golaszewski, Enis, et autres
Publié: (2025)

Formal Verification for Blockchain-based Insurance Claims Processing
par: Neupane, Roshan Lal, et autres
Publié: (2024)

Formal Verification of Secure Encrypted Virtualization
par: Weerasena, Hansika, et autres
Publié: (2026)

Formal Verification of the Safegcd Implementation
par: O'Connor, Russell, et autres
Publié: (2025)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
par: Ginesin, Jacob, et autres
Publié: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
par: Antón, Anna Lena Duque, et autres
Publié: (2024)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware
par: Deutschmann, Lucas, et autres
Publié: (2023)