Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Dorfmeister, Daniel, Ferrarotti, Flavio, Fischer, Bernhard, Haslinger, Evelyn, Ramler, Rudolf, Zimmermann, Markus
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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