Buchumschlag

Exploiting Code Symmetries for Learning Program Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pei, Kexin, Li, Weichen, Jin, Qirui, Liu, Shuyang, Geng, Scott, Cavallaro, Lorenzo, Yang, Junfeng, Jana, Suman
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Machine Learning Cryptography and Security Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Comment on Revisiting Neural Program Smoothing for Fuzzing
von: She, Dongdong, et al.
Veröffentlicht: (2024)

EditLord: Learning Code Transformation Rules for Code Editing
von: Li, Weichen, et al.
Veröffentlicht: (2025)

Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries
von: Zheng, Xinran, et al.
Veröffentlicht: (2026)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
von: Tempel, Sören, et al.
Veröffentlicht: (2024)

Learning Temporal Invariance in Android Malware Detectors
von: Zheng, Xinran, et al.
Veröffentlicht: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
von: Ajorian, Ali
Veröffentlicht: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
von: Chen, Hung-Mao, et al.
Veröffentlicht: (2025)

Misquoted No More: Securely Extracting F* Programs with IO
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2026)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
von: Michael, Alexandra E., et al.
Veröffentlicht: (2022)

zkStruDul: Programming zkSNARKs with Structural Duality
von: Krishnan, Rahul, et al.
Veröffentlicht: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
von: Smaragdakis, Yannis, et al.
Veröffentlicht: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

LockForge: Automating Paper-to-Code for Logic Locking with Multi-Agent Reasoning LLMs
von: Saha, Akashdeep, et al.
Veröffentlicht: (2025)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2025)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
von: Braunsdorf, Oliver, et al.
Veröffentlicht: (2025)

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
von: Li, Fang, et al.
Veröffentlicht: (2025)

Programming Frameworks for Differential Privacy
von: Gaboardi, Marco, et al.
Veröffentlicht: (2024)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
von: Giusti, Giulia
Veröffentlicht: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
von: Lindner, Andreas, et al.
Veröffentlicht: (2023)

Disassembly as Weighted Interval Scheduling with Learned Weights
von: Flores-Montoya, Antonio, et al.
Veröffentlicht: (2025)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
von: Takahashi, Hideaki, et al.
Veröffentlicht: (2025)

Smart Contract Languages: a comparative analysis
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
von: Ball, Thomas, et al.
Veröffentlicht: (2024)

CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
von: Noah, Amit Finkman, et al.
Veröffentlicht: (2024)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
von: Mell, Stephen, et al.
Veröffentlicht: (2025)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
von: Wen, Hongbo, et al.
Veröffentlicht: (2024)

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
von: Liu, Shigang, et al.
Veröffentlicht: (2024)

A Simple and Efficient Jailbreak Method Exploiting LLMs' Helpfulness
von: Luo, Xuan, et al.
Veröffentlicht: (2025)

A Deductive System for Contract Satisfaction Proofs
von: Correnson, Arthur, et al.
Veröffentlicht: (2026)

Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
von: Rabin, Rafiqul, et al.
Veröffentlicht: (2025)

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
von: Njungle, Nges Brian, et al.
Veröffentlicht: (2026)

How secure is AI-generated Code: A Large-Scale Comparison of Large Language Models
von: Tihanyi, Norbert, et al.
Veröffentlicht: (2024)

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2025)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
von: Hassanzadeh-Nazarabadi, Yahya, et al.
Veröffentlicht: (2025)

FSLH: Flexible Mechanized Speculative Load Hardening
von: Baumann, Jonathan, et al.
Veröffentlicht: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
von: Engel, Daniel, et al.
Veröffentlicht: (2026)