Cover Image

Divide, Conquer and Verify: Improving Symbolic Execution Performance

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Scherb, Christopher, Heitz, Luc Bryan, Grieder, Hermann, Mattmann, Olivier
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security Symbolic Computation Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Divide and Conquer based Symbolic Vulnerability Detection
by: Scherb, Christopher, et al.
Published: (2024)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

CyMed: A Framework for Testing Cybersecurity of Connected Medical Devices
by: Scherb, Christopher, et al.
Published: (2023)

Evaluation of the Programming Skills of Large Language Models
by: Heitz, Luc Bryan, et al.
Published: (2024)

Formal Power Series on Algebraic Cryptanalysis
by: Nakamura, Shuhei
Published: (2020)

Cryptanalysis of a multivariate CCZ scheme
by: Caminata, Alessio, et al.
Published: (2025)

Computation of the Hilbert Series for the Support-Minors Modeling of the MinRank Problem
by: Bardet, Magali, et al.
Published: (2025)

Optimal Communication Unbalanced Private Set Union
by: Dumas, Jean-Guillaume, et al.
Published: (2024)

A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium
by: La Scala, Roberto, et al.
Published: (2023)

aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware \& Software Formal Verification
by: Amiot, Noé, et al.
Published: (2025)

Computing a Group Action from the Class Field Theory of Imaginary Hyperelliptic Function Fields
by: Leudière, Antoine, et al.
Published: (2022)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
by: Bizzarri, Alice, et al.
Published: (2024)

Polynomial XL: A Variant of the XL Algorithm Using Macaulay Matrices over Polynomial Rings
by: Furue, Hiroki, et al.
Published: (2021)

Computing Isomorphisms between Products of Supersingular Elliptic Curves
by: Gaudry, Pierrick, et al.
Published: (2025)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

Explicit cost analysis of Toom-4 multiplication for incomplete NTT in lattice-based cryptography
by: Oku, Sakura, et al.
Published: (2026)

Oracle-Based Multistep Strategy for Solving Polynomial Systems Over Finite Fields and Algebraic Cryptanalysis of the Aradi Cipher
by: La Scala, Roberto, et al.
Published: (2025)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
by: Wang, Sen, et al.
Published: (2023)

Access Hoare Logic
by: Beckmann, Arnold, et al.
Published: (2025)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
by: Moran, Murat
Published: (2026)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences
by: Kudo, Momonari, et al.
Published: (2024)

SHA-256 Collision Attack with Programmatic SAT
by: Alamgir, Nahiyan, et al.
Published: (2024)

SAT and Lattice Reduction for Integer Factorization
by: Ajani, Yameen, et al.
Published: (2024)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

PANTHER: Pluginizable Testing Environment for Network Protocols
by: Crochet, Christophe, et al.
Published: (2025)

Network Simulator-centric Compositional Testing
by: Rousseaux, Tom, et al.
Published: (2025)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)

A Verifiable Computing Scheme for Encrypted Control Systems
by: Stabile, Francesca, et al.
Published: (2024)

SoK: Trusted Execution in SoC-FPGAs
by: Perkins, Garrett, et al.
Published: (2025)

Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
by: Adhikary, Sunandan, et al.
Published: (2020)

Exploring The Resilience of Control Execution Skips against False Data Injection Attacks
by: Koley, Ipsita, et al.
Published: (2022)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
by: Aso-Mollar, Ángel, et al.
Published: (2025)

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

Randomized Distributed Function Computation (RDFC): Ultra-Efficient Semantic Communication Applications to Privacy
by: Günlü, Onur
Published: (2026)

Verifiable Sustainability in Data Centers
by: Hussain, Syed Rafiul, et al.
Published: (2023)