An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
Fuente:
arXiv
Guardado en:
| Autores principales: | Dorfmeister, Daniel, Ferrarotti, Flavio, Fischer, Bernhard, Haslinger, Evelyn, Ramler, Rudolf, Zimmermann, Markus |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| 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)
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)
por: Dorfmeister, Daniel, et al.
Publicado: (2026)
Comparative Analysis of SRAM PUF Temperature Susceptibility on Embedded Systems
por: Zeinzinger, Martina, et al.
Publicado: (2026)
por: Zeinzinger, Martina, et al.
Publicado: (2026)
MAD: Memory Allocation meets Software Diversity
por: Wiesinger, Manuel, et al.
Publicado: (2026)
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)
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)
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)
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)
por: Bars, Nils, et al.
Publicado: (2025)
Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
por: Yao, Shuangjie, et al.
Publicado: (2025)
por: Yao, Shuangjie, et al.
Publicado: (2025)
Evaluation Methodologies in Software Protection Research
por: De Sutter, Bjorn, et al.
Publicado: (2023)
por: De Sutter, Bjorn, et al.
Publicado: (2023)
SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
por: Tharindu, Dakshina, et al.
Publicado: (2026)
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)
por: Wang, Ruoxi, et al.
Publicado: (2025)
SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants
por: Wang, Haoyu, et al.
Publicado: (2026)
por: Wang, Haoyu, et al.
Publicado: (2026)
Securing LLM Agents Need Intent-to-Execution Integrity
por: Qu, Wenjie, et al.
Publicado: (2026)
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)
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)
por: Zhao, Zhengyue, et al.
Publicado: (2025)
DataSafe: Copyright Protection with PUF Watermarking and Blockchain Tracking
por: Xue, Xiaolong, et al.
Publicado: (2024)
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)
por: Šarčević, Tanja, et al.
Publicado: (2025)
Enhancing Smart Contract Security Analysis with Execution Property Graphs
por: Qin, Kaihua, et al.
Publicado: (2023)
por: Qin, Kaihua, et al.
Publicado: (2023)
Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
por: Ye, Zhe, et al.
Publicado: (2022)
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)
por: de Laage, Romain, et al.
Publicado: (2025)
Securing Cloud File Systems with Trusted Execution
por: Burke, Quinn, et al.
Publicado: (2023)
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)
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)
por: Tan, Zhuoran, et al.
Publicado: (2024)
Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
por: Birgersson, Marcus, et al.
Publicado: (2024)
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)
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)
por: Williams, Laurie, et al.
Publicado: (2025)
SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)
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)
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)
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)
por: Akinsola, Ahmed, et al.
Publicado: (2024)
False Sense of Security on Protected Wi-Fi Networks
por: Lim, Yong Zhi, et al.
Publicado: (2025)
por: Lim, Yong Zhi, et al.
Publicado: (2025)
Securing Stack Smashing Protection in WebAssembly Applications
por: Michaud, Quentin, et al.
Publicado: (2024)
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)
por: Tudorache, Leonard, et al.
Publicado: (2026)
CyFence: Securing Cyber-Physical Controllers via Trusted Execution Environment
por: Longari, Stefano, et al.
Publicado: (2025)
por: Longari, Stefano, et al.
Publicado: (2025)
Software Unclonable Functions for IoT Devices Identification and Security
por: Alshehhi, Saeed
Publicado: (2025)
por: Alshehhi, Saeed
Publicado: (2025)
An Empirical Study on Virtual Reality Software Security Weaknesses
por: Xu, Yifan, et al.
Publicado: (2025)
por: Xu, Yifan, et al.
Publicado: (2025)
Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
por: Haque, Md Wasiul, et al.
Publicado: (2025)
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)
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)
por: Antonijević, Nikola, et al.
Publicado: (2026)
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)