Cover Image

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dasu, Vishnu Asutosh, Santra, Monika, Rashid, Md Rafi Ur, Kumar, Ashish, Tizpaz-Niari, Saeid, Tan, Gang
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing
by: Dasu, Vishnu Asutosh, et al.
Published: (2025)

NeuFair: Neural Network Fairness Repair with Dropout
by: Dasu, Vishnu Asutosh, et al.
Published: (2024)

Chain-of-Thought Driven Adversarial Scenario Extrapolation for Robust Language Models
by: Rashid, Md Rafi Ur, et al.
Published: (2025)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
by: Kumar, Ashish, et al.
Published: (2024)

Moral Entrepreneurs of the Mastodon Migration
by: Sean Ward, et al.
Published: (2025)

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

Gradient-Free Privacy Leakage in Federated Language Models through Selective Weight Tampering
by: Rashid, Md Rafi Ur, et al.
Published: (2023)

Robustness of Vision Language Models Against Split-Image Harmful Input Attacks
by: Rashid, Md Rafi Ur, et al.
Published: (2026)

Contemporary Japanese Women Migration to the United States: Shin Issei Community
by: Shuvechha Ghimire
Published: (2024)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

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

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
by: De Luca, Marco, et al.
Published: (2026)

The Liouville Generator for Producing Integrable Expressions
by: Barket, Rashid, et al.
Published: (2024)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
by: Barket, Rashid, et al.
Published: (2025)

Verified Language Processing with Hybrid Explainability: A Technical Report
by: Fox, Oliver Robert, et al.
Published: (2025)

Symbolism, Imagery and Allegorical Elements Anantha Murthy’s Samskara
by: Vishnu Kumar
Published: (2018)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

Transformers to Predict the Applicability of Symbolic Integration Routines
by: Barket, Rashid, et al.
Published: (2024)

Optimal Pseudorandom Generators for Low-Degree Polynomials Over Moderately Large Fields
by: Dwivedi, Ashish, et al.
Published: (2024)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory
by: Tizpaz-Niari, Saeid, et al.
Published: (2024)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
by: Candussio, Sara, et al.
Published: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
by: Mishra, Suyash
Published: (2026)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

Towards Verified Polynomial Factorisation
by: Davenport, James H.
Published: (2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
by: Kaufmann, Daniela, et al.
Published: (2024)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

Unit-Aware Genetic Programming for the Development of Empirical Equations
by: Reuter, Julia, et al.
Published: (2024)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
by: Bednarek, Jakub, et al.
Published: (2024)

Visual Set Program Synthesizer
by: Cheng, Zehua, et al.
Published: (2026)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
by: Manjrekar, Mayank
Published: (2025)

Alienation Techniques in VayalaVasudevan Pillai’s Vishwadarshanam
by: Reshma V.R.
Published: (2018)

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

A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
by: Zhou, Ziwei, et al.
Published: (2026)

iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
by: Santra, Monika, et al.
Published: (2026)

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
by: de Vries, Sigur, et al.
Published: (2026)