Cover Image

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dorfmeister, Daniel, Ferrarotti, Flavio, Fischer, Bernhard, Haslinger, Evelyn, Ramler, Rudolf, Zimmermann, Markus
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software-Hardware Binding for Protection of Sensitive Data in Embedded Software
by: Fischer, Bernhard, et al.
Published: (2026)

A PUF-Based Approach for Copy Protection of Intellectual Property in Neural Network Models
by: Dorfmeister, Daniel, et al.
Published: (2026)

Comparative Analysis of SRAM PUF Temperature Susceptibility on Embedded Systems
by: Zeinzinger, Martina, et al.
Published: (2026)

MAD: Memory Allocation meets Software Diversity
by: Wiesinger, Manuel, et al.
Published: (2026)

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
by: Wilde, Annika, et al.
Published: (2026)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
by: Winderix, Hans, et al.
Published: (2024)

How Memory-Safe is IoT? Assessing the Impact of Memory-Protection Solutions for Securing Wireless Gateways
by: Safronov, Vadim, et al.
Published: (2024)

Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection
by: Bars, Nils, et al.
Published: (2025)

Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
by: Yao, Shuangjie, et al.
Published: (2025)

Evaluation Methodologies in Software Protection Research
by: De Sutter, Bjorn, et al.
Published: (2023)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
by: Wang, Ruoxi, et al.
Published: (2025)

SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants
by: Wang, Haoyu, et al.
Published: (2026)

Securing LLM Agents Need Intent-to-Execution Integrity
by: Qu, Wenjie, et al.
Published: (2026)

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
by: Bailey, Joshua, et al.
Published: (2025)

ARMOR: Aligning Secure and Safe Large Language Models via Meticulous Reasoning
by: Zhao, Zhengyue, et al.
Published: (2025)

DataSafe: Copyright Protection with PUF Watermarking and Blockchain Tracking
by: Xue, Xiaolong, et al.
Published: (2024)

NCorr-FP: A Neighbourhood-based Correlation-preserving Fingerprinting Scheme for Intellectual Property Protection of Structured Data
by: Šarčević, Tanja, et al.
Published: (2025)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
by: Qin, Kaihua, et al.
Published: (2023)

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
by: Ye, Zhe, et al.
Published: (2022)

Practical Secure Aggregation by Combining Cryptography and Trusted Execution Environments
by: de Laage, Romain, et al.
Published: (2025)

Securing Cloud File Systems with Trusted Execution
by: Burke, Quinn, et al.
Published: (2023)

Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
by: Huang, Kaiming, et al.
Published: (2023)

OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Source Software
by: Tan, Zhuoran, et al.
Published: (2024)

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
by: Birgersson, Marcus, et al.
Published: (2024)

ZK Coprocessor Bridge: Replay-Safe Private Execution from Solana to Aztec via Wormhole
by: Yano, Jotaro
Published: (2025)

Establishing a Baseline of Software Supply Chain Security Task Adoption by Software Organizations
by: Williams, Laurie, et al.
Published: (2025)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
by: Cloosters, Tobias, et al.
Published: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
by: Shafiuzzaman, Md, et al.
Published: (2026)

Securing Automated Insulin Delivery Systems: A Review of Security Threats and Protective Strategies
by: Niu, Yuchen, et al.
Published: (2025)

Enhancing Software Supply Chain Resilience: Strategy For Mitigating Software Supply Chain Security Risks And Ensuring Security Continuity In Development Lifecycle
by: Akinsola, Ahmed, et al.
Published: (2024)

False Sense of Security on Protected Wi-Fi Networks
by: Lim, Yong Zhi, et al.
Published: (2025)

Securing Stack Smashing Protection in WebAssembly Applications
by: Michaud, Quentin, et al.
Published: (2024)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

CyFence: Securing Cyber-Physical Controllers via Trusted Execution Environment
by: Longari, Stefano, et al.
Published: (2025)

Software Unclonable Functions for IoT Devices Identification and Security
by: Alshehhi, Saeed
Published: (2025)

An Empirical Study on Virtual Reality Software Security Weaknesses
by: Xu, Yifan, et al.
Published: (2025)

Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
by: Haque, Md Wasiul, et al.
Published: (2025)

Post-Quantum Cryptography and Quantum-Safe Security: A Comprehensive Survey
by: Chhetri, Gaurab, et al.
Published: (2025)

Secure Wi-Fi Ranging Today: Security and Adoption of IEEE 802.11az/bk
by: Antonijević, Nikola, et al.
Published: (2026)