Buchumschlag

ReSMT: An SMT-Based Tool for Reverse Engineering

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Somech, Nir, Katz, Guy
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SMT-Boosted Security Types for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2025)

ReCopilot: Reverse Engineering Copilot in Binary Analysis
von: Chen, Guoqiang, et al.
Veröffentlicht: (2025)

Honeypot-powered Malware Reverse Engineering
von: Bombardieri, Michele, et al.
Veröffentlicht: (2015)

ReGraph: A Tool for Binary Similarity Identification
von: Zhou, Li, et al.
Veröffentlicht: (2025)

Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
von: An, Haonan, et al.
Veröffentlicht: (2025)

BaseMirror: Automatic Reverse Engineering of Baseband Commands from Android's Radio Interface Layer
von: Li, Wenqiang, et al.
Veröffentlicht: (2024)

Automatic State Machine Inference for Binary Protocol Reverse Engineering
von: Yang, Junhai, et al.
Veröffentlicht: (2024)

Reverse Engineering Structure and Semantics of Input of a Binary Executable
von: Narasimha, Seshagiri Prabhu, et al.
Veröffentlicht: (2024)

SoK: Potentials and Challenges of Large Language Models for Reverse Engineering
von: Hu, Xinyu, et al.
Veröffentlicht: (2025)

Library-Attack: Reverse Engineering Approach for Evaluating Hardware IP Protection
von: Dasgupta, Aritra, et al.
Veröffentlicht: (2025)

A Real-Time Approach to Autonomous CAN Bus Reverse Engineering
von: Setterstrom, Kevin, et al.
Veröffentlicht: (2026)

REPQC: Reverse Engineering and Backdooring Hardware Accelerators for Post-quantum Cryptography
von: Pagliarini, Samuel, et al.
Veröffentlicht: (2024)

Hardware Honeypot: Setting Sequential Reverse Engineering on a Wrong Track
von: Brunner, Michaela, et al.
Veröffentlicht: (2023)

Stealing Maggie's Secrets -- On the Challenges of IP Theft Through FPGA Reverse Engineering
von: Klix, Simon, et al.
Veröffentlicht: (2023)

Knock-Knock: Black-Box, Platform-Agnostic DRAM Address-Mapping Reverse Engineering
von: Plin, Antoine, et al.
Veröffentlicht: (2025)

RELIC-GNN: Efficient State Registers Identification with Graph Neural Network for Reverse Engineering
von: Pan, Weitao, et al.
Veröffentlicht: (2025)

Designing with Deception: ML- and Covert Gate-Enhanced Camouflaging to Thwart IC Reverse Engineering
von: Fan, Junling, et al.
Veröffentlicht: (2025)

Reverse Engineering and Security Evaluation of Commercial Tags for RFID-Based IoT Applications
von: Fernández-Caramés, Tiago M., et al.
Veröffentlicht: (2024)

Validating GWAS Findings through Reverse Engineering of Contingency Tables
von: Jiang, Yuzhou, et al.
Veröffentlicht: (2024)

Reverse Engineering the Apple M1 Conditional Branch Predictor for Out-of-Place Spectre Mistraining
von: Tuby, Adam, et al.
Veröffentlicht: (2025)

SoK: From Silicon to Netlist and Beyond $-$ Two Decades of Hardware Reverse Engineering Research
von: Karadağ, Zehra, et al.
Veröffentlicht: (2026)

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering
von: Jiang, Jiayi, et al.
Veröffentlicht: (2024)

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
von: Esposito, Andrea, et al.
Veröffentlicht: (2023)

Automatically Attacking Software Reverse Engineering AI Agents
von: Crawford, Brian, et al.
Veröffentlicht: (2026)

A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles
von: Katz, Jonathan, et al.
Veröffentlicht: (2024)

Robust Reversible Watermarking in Encrypted Images Based on Dual-MSBs Spiral Embedding
von: Shen, Haoyu, et al.
Veröffentlicht: (2026)

An Improved Reversible Data Hiding Algorithm Based on Reconstructed Mapping for PVO-k
von: Zhang, Yusen, et al.
Veröffentlicht: (2024)

Gradient Shaping: Enhancing Backdoor Attack Against Reverse Engineering
von: Zhu, Rui, et al.
Veröffentlicht: (2023)

Breaking ReAct Agents: Foot-in-the-Door Attack Will Get You In
von: Nakash, Itay, et al.
Veröffentlicht: (2024)

Reverse Engineered MiniFS File System
von: Belimov, Dmitrii, et al.
Veröffentlicht: (2024)

FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
von: Duong, Mathew, et al.
Veröffentlicht: (2026)

AgentGuard: An Attribute-Based Access Control Framework for Tool-Use LLM-Based Agent
von: Luo, Jiaqi, et al.
Veröffentlicht: (2026)

CONFETTY: A Tool for Enforcement and Data Confidentiality on Blockchain-Based Processes
von: Kryston, Michele, et al.
Veröffentlicht: (2026)

Reversible Data Hiding over Encrypted Images via Intrinsic Correlation in Block-Based Secret Sharing
von: Zou, Jianhui, et al.
Veröffentlicht: (2025)

MalTool: Malicious Tool Attacks on LLM Agents
von: Hu, Yuepeng, et al.
Veröffentlicht: (2026)

DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
von: Farrelly, Guy, et al.
Veröffentlicht: (2026)

The Reversing Machine: Reconstructing Memory Assumptions
von: Karvandi, Mohammad Sina, et al.
Veröffentlicht: (2024)

Perceptual Hash Inversion Attacks on Image-Based Sexual Abuse Removal Tools
von: Hawkes, Sophie, et al.
Veröffentlicht: (2024)

ML Study of MaliciousTransactions in Ethereum
von: Katz, Natan
Veröffentlicht: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)