A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Houy, Sabine, Kreyssig, Bruno, Riom, Timothee, Bartel, Alexandre, McDaniel, Patrick |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
par: Riom, Timothée, et autres
Publié: (2025)
par: Riom, Timothée, et autres
Publié: (2025)
Sleeping Giants -- Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes
par: Kreyssig, Bruno, et autres
Publié: (2025)
par: Kreyssig, Bruno, et autres
Publié: (2025)
Deserialization Gadget Chains are not a Pathological Problem in Android:an In-Depth Study of Java Gadget Chains in AOSP
par: Kreyssig, Bruno, et autres
Publié: (2025)
par: Kreyssig, Bruno, et autres
Publié: (2025)
CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems
par: Houy, Sabine, et autres
Publié: (2025)
par: Houy, Sabine, et autres
Publié: (2025)
Enforcing Control Flow Integrity on DeFi Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2025)
par: Chen, Zhiyang, et autres
Publié: (2025)
FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
par: Eshghie, Mojtaba, et autres
Publié: (2025)
par: Eshghie, Mojtaba, et autres
Publié: (2025)
An LLVM-Based Optimization Pipeline for SPDZ
par: Dai, Tianye, et autres
Publié: (2025)
par: Dai, Tianye, et autres
Publié: (2025)
A Taxonomy of Functional Security Features and How They Can Be Located
par: Hermann, Kevin, et autres
Publié: (2025)
par: Hermann, Kevin, et autres
Publié: (2025)
Maven-Lockfile: High Integrity Rebuild of Past Java Releases
par: Schmid, Larissa, et autres
Publié: (2025)
par: Schmid, Larissa, et autres
Publié: (2025)
Exploring Security Practices in Infrastructure as Code: An Empirical Study
par: Verdet, Alexandre, et autres
Publié: (2023)
par: Verdet, Alexandre, et autres
Publié: (2023)
When MCP Servers Attack: Taxonomy, Feasibility, and Mitigation
par: Zhao, Weibo, et autres
Publié: (2025)
par: Zhao, Weibo, et autres
Publié: (2025)
A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles
par: Tehrani, Masoud Jamshidiyan, et autres
Publié: (2024)
par: Tehrani, Masoud Jamshidiyan, et autres
Publié: (2024)
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
par: Vidal, Fernando Richter, et autres
Publié: (2023)
par: Vidal, Fernando Richter, et autres
Publié: (2023)
Bitcoin Cross-Chain Bridge: A Taxonomy and Its Promise in Artificial Intelligence of Things
par: Tang, Guojun, et autres
Publié: (2025)
par: Tang, Guojun, et autres
Publié: (2025)
Blockchain-enhanced Integrity Verification in Educational Content Assessment Platform: A Lightweight and Cost-Efficient Approach
par: Bayan, Talgar, et autres
Publié: (2024)
par: Bayan, Talgar, et autres
Publié: (2024)
NIFuzz: Estimating Quantified Information Flow with a Fuzzer
par: Blackwell, Daniel, et autres
Publié: (2025)
par: Blackwell, Daniel, et autres
Publié: (2025)
ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
par: Zhang, Lyuye, et autres
Publié: (2024)
par: Zhang, Lyuye, et autres
Publié: (2024)
Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns
par: Klemmer, Jan H., et autres
Publié: (2024)
par: Klemmer, Jan H., et autres
Publié: (2024)
MalFlows: Context-aware Fusion of Heterogeneous Flow Semantics for Android Malware Detection
par: Meng, Zhaoyi, et autres
Publié: (2025)
par: Meng, Zhaoyi, et autres
Publié: (2025)
A Comparison of Vulnerability Feature Extraction Methods from Textual Attack Patterns
par: Othman, Refat, et autres
Publié: (2024)
par: Othman, Refat, et autres
Publié: (2024)
FlowMalTrans: Unsupervised Binary Code Translation for Malware Detection Using Flow-Adapter Architecture
par: Hu, Minghao, et autres
Publié: (2025)
par: Hu, Minghao, et autres
Publié: (2025)
A Practical Solution to Systematically Monitor Inconsistencies in SBOM-based Vulnerability Scanners
par: Rosso, Martin, et autres
Publié: (2025)
par: Rosso, Martin, et autres
Publié: (2025)
A Developer-Centric Study Exploring Mobile Application Security Practices and Challenges
par: Peruma, Anthony, et autres
Publié: (2024)
par: Peruma, Anthony, et autres
Publié: (2024)
SoK: Prudent Evaluation Practices for Fuzzing
par: Schloegel, Moritz, et autres
Publié: (2024)
par: Schloegel, Moritz, et autres
Publié: (2024)
A Practical Adversarial Attack against Sequence-based Deep Learning Malware Classifiers
par: Tan, Kai, et autres
Publié: (2025)
par: Tan, Kai, et autres
Publié: (2025)
The Code the World Depends On: A First Look at Technology Makers' Open Source Software Dependencies
par: Patrick, Cadence, et autres
Publié: (2024)
par: Patrick, Cadence, et autres
Publié: (2024)
An Investigation of Patch Porting Practices of the Linux Kernel Ecosystem
par: Li, Xingyu, et autres
Publié: (2024)
par: Li, Xingyu, et autres
Publié: (2024)
SseRex: Practical Symbolic Execution of Solana Smart Contracts
par: Cloosters, Tobias, et autres
Publié: (2026)
par: Cloosters, Tobias, et autres
Publié: (2026)
Visualizing Privacy-Relevant Data Flows in Android Applications
par: Khedkar, Mugdha, et autres
Publié: (2025)
par: Khedkar, Mugdha, et autres
Publié: (2025)
Cybersecurity Defenses: Exploration of CVE Types through Attack Descriptions
par: Othman, Refat, et autres
Publié: (2024)
par: Othman, Refat, et autres
Publié: (2024)
A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow
par: Hoops, Felix, et autres
Publié: (2024)
par: Hoops, Felix, et autres
Publié: (2024)
DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
par: Medeiros, Ismael, et autres
Publié: (2024)
par: Medeiros, Ismael, et autres
Publié: (2024)
An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
par: Boltz, Nicolas, et autres
Publié: (2024)
par: Boltz, Nicolas, et autres
Publié: (2024)
A Solution toward Transparent and Practical AI Regulation: Privacy Nutrition Labels for Open-source Generative AI-based Applications
par: Si, Meixue, et autres
Publié: (2024)
par: Si, Meixue, et autres
Publié: (2024)
SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
par: Dai, Han, et autres
Publié: (2026)
par: Dai, Han, et autres
Publié: (2026)
Toward Secure Web to ERP Payment Flows: A Case Study of HTTP Header Trust Failures in SAP Based Systems
par: Dini, Vick
Publié: (2026)
par: Dini, Vick
Publié: (2026)
What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
par: Niu, Yuqing, et autres
Publié: (2025)
par: Niu, Yuqing, et autres
Publié: (2025)
AUTOVR: Automated UI Exploration for Detecting Sensitive Data Flow Exposures in Virtual Reality Apps
par: Kim, John Y., et autres
Publié: (2025)
par: Kim, John Y., et autres
Publié: (2025)
PrescientFuzz: A more effective exploration approach for grey-box fuzzing
par: Blackwell, Daniel, et autres
Publié: (2024)
par: Blackwell, Daniel, et autres
Publié: (2024)
Zer0n: An AI-Assisted Vulnerability Discovery and Blockchain-Backed Integrity Framework
par: Parmar, Harshil, et autres
Publié: (2026)
par: Parmar, Harshil, et autres
Publié: (2026)
Documents similaires
-
In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
par: Riom, Timothée, et autres
Publié: (2025) -
Sleeping Giants -- Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes
par: Kreyssig, Bruno, et autres
Publié: (2025) -
Deserialization Gadget Chains are not a Pathological Problem in Android:an In-Depth Study of Java Gadget Chains in AOSP
par: Kreyssig, Bruno, et autres
Publié: (2025) -
CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems
par: Houy, Sabine, et autres
Publié: (2025) -
Enforcing Control Flow Integrity on DeFi Smart Contracts
par: Chen, Zhiyang, et autres
Publié: (2025)