On the public citation graph
SoK: Eternal War in Memory
0 signed · 673 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-642-04117-4_30openalex-snapshot
Low-Level Software Security by Example
inferredcites →https://doi.org/10.1007/978-3-642-23644-0_1openalex-snapshot
Minemu: The World’s Fastest Taint Tracker
inferredcites →https://doi.org/10.1007/978-3-642-23644-0_7openalex-snapshot
On the Expressiveness of Return-into-libc Attacks
inferredcites →https://doi.org/10.1007/978-3-642-33338-5_5openalex-snapshot
Memory Errors: The Past, the Present, and the Future
inferredcites →https://doi.org/10.1109/acsac.2006.9openalex-snapshot
Address Space Layout Permutation (ASLP): Towards Fine-Grained Randomization of Commodity Software
inferredcites →https://doi.org/10.1109/cgo.2003.1191551openalex-snapshot
An infrastructure for adaptive dynamic optimization
inferredcites →https://doi.org/10.1109/icdsc.2001.918971openalex-snapshot
RAD: a compile-time solution to buffer overflow attacks
inferredcites →https://doi.org/10.1109/sp.2008.30openalex-snapshot
Preventing Memory Error Exploits with WIT
inferredcites →https://doi.org/10.1109/sp.2009.25openalex-snapshot
Native Client: A Sandbox for Portable, Untrusted x86 Native Code
inferredcites →https://doi.org/10.1109/sp.2010.30openalex-snapshot
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity
inferredcites →https://doi.org/10.1109/sp.2012.41openalex-snapshot
Smashing the Gadgets: Hindering Return-Oriented Programming Using In-place Code Randomization
inferredcites →https://doi.org/10.1109/tifs.2011.2159712openalex-snapshot
Comprehensive and Efficient Protection of Kernel Control Data
inferredcites →https://doi.org/10.1145/1030083.1030124openalex-snapshot
On the effectiveness of address-space randomization
inferredcites →https://doi.org/10.1145/1134285.1134309openalex-snapshot
Backwards-compatible array bounds checking for C with very low overhead
inferredcites →https://doi.org/10.1145/1315245.1315313openalex-snapshot
The geometry of innocent flesh on the bone
inferredcites →https://doi.org/10.1145/1519144.1519145openalex-snapshot
Breaking the memory secrecy assumption
inferredcites →https://doi.org/10.1145/168619.168635openalex-snapshot
Efficient software-based fault isolation
inferredcites →https://doi.org/10.1145/1866307.1866370openalex-snapshot
Return-oriented programming without returns
inferredcites →https://doi.org/10.1145/1866307.1866415openalex-snapshot
Secure dynamic code generation against spraying
inferredcites →https://doi.org/10.1145/1952682.1952703openalex-snapshot
Fine-grained user-space security through virtualization
inferredcites →https://doi.org/10.1145/2187671.2187679openalex-snapshot
Runtime countermeasures for code injection attacks against C and C++ programs
inferredcites →https://doi.org/10.1145/940071.940113openalex-snapshot
Protecting C programs from attacks via invalid pointer dereferences
inferredcites →https://doi.org/10.1145/940112.940113openalex-snapshot
Protecting C programs from attacks via invalid pointer dereferences
inferredcites →https://doi.org/10.1145/948109.948146openalex-snapshot
Countering code-injection attacks with instruction-set randomization
inferredcites →https://doi.org/10.3929/ethz-a-007316742openalex-snapshot
Too much PIE is bad for performance
inferredcites →https://doi.org/10.5555/1298455.1298463openalex-snapshot
XFI: software guards for system address spaces
inferredcites →https://doi.org/10.5555/2342821.2342832openalex-snapshot
Body armor for binaries: preventing buffer overflows without recompilation
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4637378openalex-extracted
Survey of Techniques to Detect Cwes in Program Binaries
inferred← citeshttps://doi.org/10.1002/sec.1681openalex-snapshot
A smart fuzzing method for detecting heap‐based vulnerabilities in executable codes
inferred← citeshttps://doi.org/10.1007/978-3-030-01950-1_9openalex-snapshot
Utilizing GPU Virtualization to Protect the Private Keys of GPU Cryptographic Computation
inferred← citeshttps://doi.org/10.1007/978-3-030-02744-5_28openalex-snapshot
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
inferred← citeshttps://doi.org/10.1007/978-3-030-02744-5_29openalex-snapshot
ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-16874-2_2openalex-snapshot
Understanding Common Automotive Security Issues and Their Implications
inferred← citeshttps://doi.org/10.1007/978-3-030-17138-4_4openalex-snapshot
Achieving Safety Incrementally with Checked C
inferred← citeshttps://doi.org/10.1007/978-3-030-22038-9_13openalex-snapshot
Memory Categorization: Separating Attacker-Controlled Data
inferred← citeshttps://doi.org/10.1007/978-3-030-22038-9_9openalex-snapshot
Practical Enclave Malware with Intel SGX
inferred← citeshttps://doi.org/10.1007/978-3-030-29959-0_5openalex-snapshot
The Leakage-Resilience Dilemma
inferred← citeshttps://doi.org/10.1007/978-3-030-29962-0_4openalex-snapshot
Static Detection of Uninitialized Stack Variables in Binary Code
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_4openalex-snapshot
On the Runtime Enforcement of Timed Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-32304-2_4openalex-snapshot
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-52683-2_11openalex-snapshot
Distributed Heterogeneous N-Variant Execution
inferred← citeshttps://doi.org/10.1007/978-3-030-54549-9_24openalex-snapshot
Efficient Load-Time Diversity for an Embedded Real-Time Operating System
inferred← citeshttps://doi.org/10.1007/978-3-030-58951-6_12openalex-snapshot
Dynamic and Secure Memory Transformation in Userspace
inferred← citeshttps://doi.org/10.1007/978-3-030-58951-6_17openalex-snapshot
Zipper Stack: Shadow Stacks Without Shadow
inferred← citeshttps://doi.org/10.1007/978-3-030-62974-8_17openalex-snapshot
Towards Transparent Control-Flow Integrity in Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-64448-2_12openalex-snapshot
Software Security with Hardware in Mind
inferred← citeshttps://doi.org/10.1007/978-3-030-65745-1_5openalex-snapshot
HyperWall: A Hypervisor for Detection and Prevention of Malicious Communication
inferred← citeshttps://doi.org/10.1007/978-3-030-87872-6_14openalex-snapshot
The Neverending Story: Memory Corruption 30 Years Later
inferred← citeshttps://doi.org/10.1007/978-3-030-88418-5_11openalex-snapshot
Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
inferred← citeshttps://doi.org/10.1007/978-3-030-88428-4_19openalex-snapshot
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield
inferred← citeshttps://doi.org/10.1007/978-3-030-93206-0_2openalex-snapshot
Explore Capabilities and Effectiveness of Reverse Engineering Tools to Provide Memory Safety for Binary Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-98015-3_62openalex-snapshot
Enhancing the Quality and Security of IoT Software Systems Using Cloud-Based Vulnerability Detector
inferred← citeshttps://doi.org/10.1007/978-3-031-06365-7_1openalex-snapshot
Quantifying Paging on Recoverable Data from Windows User-Space Modules
inferred← citeshttps://doi.org/10.1007/978-3-031-21280-2_15openalex-snapshot
Detect Compiler Inserted Run-time Security Checks in Binary Software
inferred← citeshttps://doi.org/10.1007/978-3-031-35504-2_12openalex-snapshot
CEFI: Command Execution Flow Integrity for Embedded Devices
inferred← citeshttps://doi.org/10.1007/978-3-031-35504-2_13openalex-snapshot
Untangle: Aiding Global Function Pointer Hijacking for Post-CET Binary Exploitation
inferred← citeshttps://doi.org/10.1007/978-3-031-51482-1_16openalex-snapshot
$$\mu $$IPS: Software-Based Intrusion Prevention for Bare-Metal Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-56583-0_8openalex-snapshot
SdShield: Effectively Ensuring Heap Security via Shadow Page Table
inferred← citeshttps://doi.org/10.1007/978-3-031-57537-2_24openalex-snapshot
Hardening Systems Against Data Corruption Attacks at Design Time
inferred← citeshttps://doi.org/10.1007/978-3-031-65175-5_16openalex-snapshot
Satellite: Effective and Efficient Stack Memory Protection Scheme for Unsafe Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-032-00627-1_10openalex-snapshot
Do We Still Need Canaries in the Coal Mine? Measuring Shadow Stack Effectiveness in Countering Stack Smashing
inferred← citeshttps://doi.org/10.1007/978-3-032-00627-1_8openalex-snapshot
CHERI UNCHAINED: Generic Instruction and Register Control for CHERI Capabilities
inferred← citeshttps://doi.org/10.1007/978-3-032-02709-2_9openalex-snapshot
Resilient Cyber-Physical Systems: Achieving Safety and Liveness with Software Rejuvenation
inferred← citeshttps://doi.org/10.1007/978-3-032-07891-9_19openalex-snapshot
Code Encryption with Intel TME-MK for Control-Flow Enforcement
inferred← citeshttps://doi.org/10.1007/978-3-032-32578-5_20openalex-snapshot
RESPEC-CFA: Representation-Aware Speculative Control Flow Attestation
inferred← citeshttps://doi.org/10.1007/978-3-032-35248-4_3openalex-snapshot
Velvet: Parallel Divide-and-Conquer in Safe Rust
inferred← citeshttps://doi.org/10.1007/978-3-319-04897-0_1openalex-snapshot
Detecting Code Reuse Attacks with a Model of Conformant Program Execution
inferred← citeshttps://doi.org/10.1007/978-3-319-15618-7_6openalex-snapshot
Learning How to Prevent Return-Oriented Programming Efficiently
inferred← citeshttps://doi.org/10.1007/978-3-319-20550-2_8openalex-snapshot
Fine-Grained Control-Flow Integrity Through Binary Hardening
inferred← citeshttps://doi.org/10.1007/978-3-319-25546-0_5openalex-snapshot
Discussion and Conclusion
inferred← citeshttps://doi.org/10.1007/978-3-319-26148-5_40openalex-snapshot
CloudIDEA: A Malware Defense Architecture for Cloud Data Centers
inferred← citeshttps://doi.org/10.1007/978-3-319-26362-5_11openalex-snapshot
Preventing Exploits in Microsoft Office Documents Through Content Randomization
inferred← citeshttps://doi.org/10.1007/978-3-319-26362-5_13openalex-snapshot
A Formal Framework for Program Anomaly Detection
inferred← citeshttps://doi.org/10.1007/978-3-319-26362-5_9openalex-snapshot
Counteracting Data-Only Malware with Code Pointer Examination
inferred← citeshttps://doi.org/10.1007/978-3-319-40667-1_16openalex-snapshot
Detile: Fine-Grained Information Leak Detection in Script Engines
inferred← citeshttps://doi.org/10.1007/978-3-319-40667-1_4openalex-snapshot
AVRAND: A Software-Based Defense Against Code Reuse Attacks for AVR Embedded Devices
inferred← citeshttps://doi.org/10.1007/978-3-319-45572-3_4openalex-snapshot
Runtime Integrity Checking for Exploit Mitigation on Lightweight Embedded Devices
inferred← citeshttps://doi.org/10.1007/978-3-319-45719-2_21openalex-snapshot
Blender: Self-randomizing Address Space Layout for Android Apps
inferred← citeshttps://doi.org/10.1007/978-3-319-62105-0_10openalex-snapshot
Defeating Zombie Gadgets by Re-randomizing Code upon Disclosure
inferred← citeshttps://doi.org/10.1007/978-3-319-66332-6_12openalex-snapshot
CFI CaRE: Hardware-Supported Call and Return Enforcement for Commercial Microcontrollers
inferred← citeshttps://doi.org/10.1007/978-3-319-66923-6_46openalex-snapshot
New Threats for Old Manufacturing Problems: Secure IoT-Enabled Monitoring of Legacy Production Machinery
inferred← citeshttps://doi.org/10.1007/978-3-319-78813-5_34openalex-snapshot
FRProtector: Defeating Control Flow Hijacking Through Function-Level Randomization and Transfer Protection
inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6_4openalex-snapshot
The Meaning of Memory Safety
inferred← citeshttps://doi.org/10.1007/978-3-319-97916-8_5openalex-snapshot
Safe Trans Loader: Mitigation and Prevention of Memory Corruption Attacks for Released Binaries
inferred← citeshttps://doi.org/10.1007/978-3-319-99843-5_17openalex-snapshot
What the Stack? On Memory Exploitation and Protection in Resource Constrained Automotive Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-41284-4_4openalex-snapshot
Check My Profile: Leveraging Static Analysis for Fast and Accurate Detection of ROP Gadgets
inferred← citeshttps://doi.org/10.1007/978-981-13-2423-9_7openalex-snapshot
Stateful Forward-Edge CFI Enforcement with Intel MPX
inferred← citeshttps://doi.org/10.1007/978-981-19-0523-0_2openalex-snapshot
Research on Automatic Analysis and Exploitation Technology of Remote Code Execution Vulnerability for Grid System
inferred← citeshttps://doi.org/10.1007/978-981-99-6222-8_37openalex-snapshot
An Analysis of the Rust Programming Practice for Memory Safety Assurance
inferred← citeshttps://doi.org/10.1007/s10009-021-00609-zopenalex-snapshot
A taxonomy for classifying runtime verification tools
inferred← citeshttps://doi.org/10.1007/s10207-020-00514-7openalex-snapshot
Additional kernel observer: privilege escalation attack prevention mechanism focusing on system call privilege changes
inferred← citeshttps://doi.org/10.1007/s10458-017-9380-xopenalex-snapshot
Clonal plasticity: an autonomic mechanism for multi-agent systems to self-diversify
inferred← citeshttps://doi.org/10.1007/s10515-026-00690-1openalex-snapshot
OLASan: practical object-level sanitization through memory access aggregation
inferred← citeshttps://doi.org/10.1007/s10664-022-10168-9openalex-snapshot
SSPCatcher: Learning to catch security patches
inferred← citeshttps://doi.org/10.1007/s11390-019-1955-3openalex-snapshot
Automatic Detection and Repair Recommendation for Missing Checks
inferred← citeshttps://doi.org/10.1007/s11390-021-1593-4openalex-snapshot
MEBS: Uncovering Memory Life-Cycle Bugs in Operating System Kernels
inferred← citeshttps://doi.org/10.1007/s11390-025-4827-zopenalex-snapshot
A Survey of Hardware-Assisted Intra-Address Space Protections
inferred← citeshttps://doi.org/10.1007/s11416-023-00469-yopenalex-snapshot
A security vulnerability predictor based on source code metrics
inferred← citeshttps://doi.org/10.1007/s11432-016-5521-0openalex-snapshot
Accurate and efficient exploit capture and classification
inferred← citeshttps://doi.org/10.1007/s41635-019-00078-6openalex-snapshot
An In-depth Study of MPU-Based Isolation Techniques
inferred← citeshttps://doi.org/10.1007/s44443-026-00737-zopenalex-snapshot
Instruction encoding of x86 arithmetic operations and its relevance to cryptographic engineering and information security
inferred← citeshttps://doi.org/10.1016/j.cose.2019.04.002openalex-snapshot
Data-flow bending: On the effectiveness of data-flow integrity
inferred← citeshttps://doi.org/10.1016/j.cose.2019.05.004openalex-snapshot
Formally verified software countermeasures for control-flow integrity of smart card C code
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101828openalex-snapshot
IBV-CFI: Efficient fine-grained control-flow integrity preserving CFG precision
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101832openalex-snapshot
CIMA: Compiler-Enforced Resilience Against Memory Safety Attacks in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.cose.2020.102115openalex-snapshot
Mind control attack: Undermining deep learning with GPU memory exploitation
inferred← citeshttps://doi.org/10.1016/j.cose.2020.102119openalex-snapshot
Pre-processing memory dumps to improve similarity score of Windows modules
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104655openalex-snapshot
MVX-based mitigation of position-independent code reuse
inferred← citeshttps://doi.org/10.1016/j.ijcip.2021.100431openalex-snapshot
SCOPE: Secure Compiling of PLCs in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.jisa.2021.102871openalex-snapshot
Preventing malicious communication using virtualization
inferred← citeshttps://doi.org/10.1016/j.jisa.2025.104189openalex-snapshot
MLAF-VD: A vulnerability detection model based on multi-level abstract features
inferred← citeshttps://doi.org/10.1016/j.jnca.2020.102534openalex-snapshot
A Survey of Exploitation Techniques and Defenses for Program Data Attacks
inferred← citeshttps://doi.org/10.1016/j.jss.2016.11.026openalex-snapshot
deExploit: Identifying misuses of input data to diagnose memory-corruption exploits at the binary level
inferred← citeshttps://doi.org/10.1016/j.pmcj.2021.101412openalex-snapshot
TOTP Moving Target Defense for sensitive network services
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102519openalex-snapshot
BoundWarden: Thread-enforced spatial memory safety through compile-time transformations
inferred← citeshttps://doi.org/10.1017/s095679682100023xopenalex-snapshot
Cogent: uniqueness types and certifying compilation
inferred← citeshttps://doi.org/10.1049/iet-ifs.2018.5142openalex-snapshot
Dynamic reencryption of return addresses
inferred← citeshttps://doi.org/10.1049/iet-sen.2015.0039openalex-snapshot
Smart fuzzing method for detecting stack‐based buffer overflow in binary codes
inferred← citeshttps://doi.org/10.1108/ftpgl-11-2025-0068openalex-snapshot
Neurosymbolic code auditing
inferred← citeshttps://doi.org/10.1109/3pgcic.2015.102openalex-snapshot
Dynamic Binary Instrumentation Based Defense Solution against Virtual Function Table Hijacking Attacks at C++ Binary Programs
inferred← citeshttps://doi.org/10.1109/access.2018.2868411openalex-snapshot
REPICA: Rewriting Position Independent Code of ARM
inferred← citeshttps://doi.org/10.1109/access.2020.3036118openalex-snapshot
HS-Pilot: Heap Security Evaluation Tool Model Based on Atomic Heap Interaction
inferred← citeshttps://doi.org/10.1109/access.2022.3171922openalex-snapshot
Binary Exploitation in Industrial Control Systems: Past, Present and Future
inferred← citeshttps://doi.org/10.1109/access.2022.3218412openalex-snapshot
HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study
inferred← citeshttps://doi.org/10.1109/access.2022.3230791openalex-snapshot
Efficient CFI Enforcement for Embedded Systems Using ARM TrustZone-M
inferred← citeshttps://doi.org/10.1109/access.2023.3269881openalex-snapshot
NG-MVEE: A New Proposed Hybrid Technique for Enhanced Mitigation of Code Re-Use Attack
inferred← citeshttps://doi.org/10.1109/access.2023.3272833openalex-snapshot
When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs
inferred← citeshttps://doi.org/10.1109/access.2024.3355098openalex-snapshot
ToolPhet: Inference of Compiler Provenance From Stripped Binaries With Emerging Compilation Toolchains
inferred← citeshttps://doi.org/10.1109/access.2024.3380478openalex-snapshot
Memory Integrity Techniques for Memory-Unsafe Languages: A Survey
inferred← citeshttps://doi.org/10.1109/access.2024.3454551openalex-snapshot
Optimized Data-Flow Integrity for Modern Compilers
inferred← citeshttps://doi.org/10.1109/access.2025.3617245openalex-snapshot
Non-Control-Data Attacks and Defenses: A Review
inferred← citeshttps://doi.org/10.1109/acsac63791.2024.00035openalex-snapshot
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
inferred← citeshttps://doi.org/10.1109/acsac63791.2024.00052openalex-snapshot
I’ll Be There for You! Perpetual Availability in the A8 MVX System
inferred← citeshttps://doi.org/10.1109/acsac63791.2024.00053openalex-snapshot
Sidecar: Leveraging Debugging Extensions in Commodity Processors to Secure Software
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00030openalex-snapshot
ELK: Effective Lock-and-Key Technique for Temporal Memory Safety on Embedded Devices in ARMv8-M
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00031openalex-snapshot
Understanding the Security Impact of CHERI on the Operating System Kernel
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00035openalex-snapshot
PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking
inferred← citeshttps://doi.org/10.1109/acsacw69556.2025.00062openalex-snapshot
NOPoutNG: Improving the Effectiveness of Hardware-assisted Control-flow Integrity via Dynamic Landing Pad Elision
inferred← citeshttps://doi.org/10.1109/apr52552.2021.00013openalex-snapshot
Automated Code Repair to Ensure Spatial Memory Safety
inferred← citeshttps://doi.org/10.1109/ase.2019.00125openalex-snapshot
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities
inferred← citeshttps://doi.org/10.1109/asianhost59942.2023.10409305openalex-snapshot
HeisenTrojans: They Are Not There Until They Are Triggered
inferred← citeshttps://doi.org/10.1109/asp-dac52403.2022.9712570openalex-snapshot
Automated Detection of Spatial Memory Safety Violations for Constrained Devices
inferred← citeshttps://doi.org/10.1109/ats56056.2022.00029openalex-snapshot
PointerChecker: Tag-Based and Hardware-Assisted Memory Safety against Memory Corruption
inferred← citeshttps://doi.org/10.1109/bigdata62323.2024.10826006openalex-snapshot
Aviator: A MITRE Emulation Plan-Derived Living Dataset for Advanced Persistent Threat Detection and Investigation
inferred← citeshttps://doi.org/10.1109/bigdatacongress.2017.18openalex-snapshot
SafeNVM: A Non-Volatile Memory Store with Thread-Level Page Protection
inferred← citeshttps://doi.org/10.1109/brains59668.2023.10316829openalex-snapshot
Who is Smarter? An Empirical Study of AI-Based Smart Contract Creation
inferred← citeshttps://doi.org/10.1109/cars67163.2025.11337876openalex-snapshot
Hierarchical Firmware-level Security Policy for Industrial Control Systems
inferred← citeshttps://doi.org/10.1109/ccnc54725.2025.10975944openalex-snapshot
Fine Grained Address Space Layout Randomization Using Noncontiguous Per-Function Memory Segment Assignment
inferred← citeshttps://doi.org/10.1109/cgo.2019.8661198openalex-snapshot
CSOD: Context-Sensitive Overflow Detection
inferred← citeshttps://doi.org/10.1109/cns.2018.8433189openalex-snapshot
Function-Oriented Programming: A New Class of Code Reuse Attack in C Applications
inferred← citeshttps://doi.org/10.1109/compcomm.2015.7387532openalex-snapshot
A highly automated binary software vulnerability risk evaluation method for off-by-one stack based buffer overflow
inferred← citeshttps://doi.org/10.1109/compsac.2017.206openalex-snapshot
SecretSafe: A Lightweight Approach against Heap Buffer Over-Read Attack
inferred← citeshttps://doi.org/10.1109/compsac51774.2021.00159openalex-snapshot
Classifying Memory Bugs Using Bugs Framework Approach
inferred← citeshttps://doi.org/10.1109/comst.2018.2820728openalex-snapshot
On Security Research Towards Future Mobile Network Generations
inferred← citeshttps://doi.org/10.1109/csf.2019.00024openalex-snapshot
Temporal Safety for Stack Allocated Memory on Capability Machines
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00037openalex-snapshot
Formalizing Stack Safety as a Security Property
inferred← citeshttps://doi.org/10.1109/dac18074.2021.9586170openalex-snapshot
Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
inferred← citeshttps://doi.org/10.1109/dac18074.2021.9586180openalex-snapshot
DIALED: Data Integrity Attestation for Low-end Embedded Devices
inferred← citeshttps://doi.org/10.1109/dasc-picom-datacom-cyberscitec.2017.88openalex-snapshot
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity
inferred← citeshttps://doi.org/10.1109/desec.2018.8625137openalex-snapshot
Additional Kernel Observer to Prevent Privilege Escalation Attacks by Focusing on System Call Privilege Changes
inferred← citeshttps://doi.org/10.1109/dsd57027.2022.00067openalex-snapshot
A CFI Verification System based on the RISC-V Instruction Trace Encoder
inferred← citeshttps://doi.org/10.1109/dsn-s52858.2021.00032openalex-snapshot
Hardware Support for Low-Cost Memory Safety
inferred← citeshttps://doi.org/10.1109/dsn-w60302.2024.00026openalex-snapshot
Highly Comprehensive and Efficient Memory Safety Enforcement with Pointer Tagging
inferred← citeshttps://doi.org/10.1109/dsn.2016.46openalex-snapshot
Secure and Efficient Multi-Variant Execution Using Hardware-Assisted Process Virtualization
inferred← citeshttps://doi.org/10.1109/dsn.2017.58openalex-snapshot
Towards Automated Discovery of Crash-Resistant Primitives in Binary Executables
inferred← citeshttps://doi.org/10.1109/dsn.2017.60openalex-snapshot
Compromising Security of Economic Dispatch in Power System Operations
inferred← citeshttps://doi.org/10.1109/dsn.2019.00042openalex-snapshot
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware
inferred← citeshttps://doi.org/10.1109/dsn48063.2020.00047openalex-snapshot
iScanU: A Portable Scanner for Undocumented Instructions on RISC Processors
inferred← citeshttps://doi.org/10.1109/dsn58291.2024.00019openalex-snapshot
SPP: Safe Persistent Pointers for Memory Safety
inferred← citeshttps://doi.org/10.1109/dsn58367.2023.00020openalex-snapshot
Get Your Cyber-Physical Tests Done! Data-Driven Vulnerability Assessment of Robotic Aerial Vehicles
inferred← citeshttps://doi.org/10.1109/dsn58367.2023.00046openalex-snapshot
Rewind & Discard: Improving Software Resilience using Isolated Domains
inferred← citeshttps://doi.org/10.1109/dtis53253.2021.9505151openalex-snapshot
Design Space Exploration Applied to Security
inferred← citeshttps://doi.org/10.1109/edcc.2019.00018openalex-snapshot
Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices
inferred← citeshttps://doi.org/10.1109/eurosp.2017.39openalex-snapshot
Revisiting Browser Security in the Modern Era: New Data-Only Attacks and Defenses
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00013openalex-snapshot
Challenges in Designing Exploit Mitigations for Deeply Embedded Systems
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00031openalex-snapshot
SoK: Benchmarking Flaws in Systems Security
inferred← citeshttps://doi.org/10.1109/eurosp48549.2020.00009openalex-snapshot
Quantitative Assessment on the Limitations of Code Randomization for Legacy Binaries
inferred← citeshttps://doi.org/10.1109/eurosp51992.2021.00048openalex-snapshot
Bypassing memory safety mechanisms through speculative control flow hijacks
inferred← citeshttps://doi.org/10.1109/eurosp51992.2021.00049openalex-snapshot
NoVT: Eliminating C++ Virtual Calls to Mitigate Vtable Hijacking
inferred← citeshttps://doi.org/10.1109/eurosp60621.2024.00024openalex-snapshot
Memory Tagging using Cryptographic Integrity on Commodity x86 CPUs
inferred← citeshttps://doi.org/10.1109/eurosp60621.2024.00028openalex-snapshot
Porting to Morello: An In-depth Study on Compiler Behaviors, CERT Guideline Violations, and Security Implications
inferred← citeshttps://doi.org/10.1109/eurospw51379.2020.00043openalex-snapshot
Security across abstraction layers: old and new examples
inferred← citeshttps://doi.org/10.1109/eurospw54576.2021.00016openalex-snapshot
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification
inferred← citeshttps://doi.org/10.1109/ewdts.2019.8884464openalex-snapshot
CFI: Control Flow Integrity or Control Flow Interruption?
inferred← citeshttps://doi.org/10.1109/ewdts52692.2021.9581003openalex-snapshot
Control-Flow Integrity for Real-Time Operating Systems: Open Issues and Challenges
inferred← citeshttps://doi.org/10.1109/fie61694.2024.10893207openalex-snapshot
RustLIVE: Reducing the Learning Barriers of Rust Through Visualization
inferred← citeshttps://doi.org/10.1109/host49136.2021.9702275openalex-snapshot
Morpheus II: A RISC-V Security Extension for Protecting Vulnerable Software and Hardware
inferred← citeshttps://doi.org/10.1109/host55118.2023.10132915openalex-snapshot
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks
inferred← citeshttps://doi.org/10.1109/host64725.2025.11050045openalex-snapshot
Cryptographic Least Privilege Enforcement for Scalable Memory Isolation
inferred← citeshttps://doi.org/10.1109/hpca68181.2026.11408570openalex-snapshot
Protean: A Programmable Spectre Defense
inferred← citeshttps://doi.org/10.1109/hpcc-dss-smartcity-dependsys53884.2021.00078openalex-snapshot
Punchcard: A Practical Red-Zone Based Scheme for Low-Overhead Heap Protection
inferred← citeshttps://doi.org/10.1109/hpcc-dss-smartcity-dependsys53884.2021.00168openalex-snapshot
BOFSanitizer: Efficient locator and detector for buffer overflow vulnerability
inferred← citeshttps://doi.org/10.1109/hpcc-smartcity-dss50907.2020.00011openalex-snapshot
LAPE: A Lightweight Attestation of Program Execution Scheme for Bare-Metal Systems
inferred← citeshttps://doi.org/10.1109/hpec43674.2020.9286255openalex-snapshot
Dynamic Computational Diversity with Multi-Radix Logic and Memory
inferred← citeshttps://doi.org/10.1109/ic2e.2018.00025openalex-snapshot
Scheduling, Isolation, and Cache Allocation: A Side-Channel Defense
inferred← citeshttps://doi.org/10.1109/icaide69370.2026.11604514openalex-snapshot
Redundancy Analysis of x86 Instruction Encoding and Its Application in System Security
inferred← citeshttps://doi.org/10.1109/iccad.2017.8203803openalex-snapshot
ATRIUM: Runtime attestation resilient under memory attacks
inferred← citeshttps://doi.org/10.1109/iccad45719.2019.8942142openalex-snapshot
CHASE: A Configurable Hardware-Assisted Security Extension for Real-Time Systems
inferred← citeshttps://doi.org/10.1109/iccd46524.2019.00037openalex-snapshot
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/iccd53106.2021.00042openalex-snapshot
MetaTableLite: An Efficient Metadata Management Scheme for Tagged-Pointer-Based Spatial Safety
inferred← citeshttps://doi.org/10.1109/icce63647.2025.10930150openalex-snapshot
Hardware Anomaly Detection in Microcontrollers Through Watchdog-Assisted Property Enforcement
inferred← citeshttps://doi.org/10.1109/iccece65250.2025.10985204openalex-snapshot
Code Reuse Attack Detection Based on Hardware and Software Performance Counters
inferred← citeshttps://doi.org/10.1109/iceccme55909.2022.9988527openalex-snapshot
Em-RIPE: Runtime Intrusion Prevention Evaluator for ARM Microcontroller Systems
inferred← citeshttps://doi.org/10.1109/iceccme57830.2023.10252717openalex-snapshot
Safeguarding Inter-Device Communications for Connected Systems: A Holistic Security Framework
inferred← citeshttps://doi.org/10.1109/iceccs.2019.00031openalex-snapshot
Bi-Abductive Inference for Shape and Ordering Properties
inferred← citeshttps://doi.org/10.1109/iciot.2018.00027openalex-snapshot
Towards an Inherently Secure Run-Time Environment for Medical Devices
inferred← citeshttps://doi.org/10.1109/icise.2018.00017openalex-snapshot
SMP: A New Mechanism to Mitigate Control-Flow Hijacking Attacks
inferred← citeshttps://doi.org/10.1109/icpc66645.2025.00015openalex-snapshot
A Slicing-Based Approach for Detecting and Patching Vulnerable Code Clones
inferred← citeshttps://doi.org/10.1109/icrc.2017.8123687openalex-snapshot
Securing Data Centers, Handheld Computers, and Networked Sensors against Viruses and Rootkits
inferred← citeshttps://doi.org/10.1109/icse-companion55297.2022.9793834openalex-snapshot
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation
inferred← citeshttps://doi.org/10.1109/icse-companion58688.2023.00059openalex-snapshot
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation
inferred← citeshttps://doi.org/10.1109/icse.2019.00024openalex-snapshot
LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment Through Program Metrics
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00020openalex-snapshot
BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00213openalex-snapshot
Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator
inferred← citeshttps://doi.org/10.1109/ignite69592.2026.11706182openalex-snapshot
eSC-V: Hardware-Enforced CFI Protection for Machine-Mode RISC-V SoC
inferred← citeshttps://doi.org/10.1109/isca.2018.00056openalex-snapshot
Practical Memory Safety with REST
inferred← citeshttps://doi.org/10.1109/isca52012.2021.00032openalex-snapshot
Confidential Serverless Made Efficient with Plug-In Enclaves
inferred← citeshttps://doi.org/10.1109/isca52012.2021.00082openalex-snapshot
ZeRØ: Zero-Overhead Resilient Operation Under Pointer Integrity Attacks
inferred← citeshttps://doi.org/10.1109/isca66397.2026.00080openalex-snapshot
Optimized Memory Tagging on AmpereOne ® Processors
inferred← citeshttps://doi.org/10.1109/isdfs.2018.8355372openalex-snapshot
A tool to compute approximation matching between windows processes
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom52081.2021.00184openalex-snapshot
Accelerating Data-Flow Analysis with Full-Partitioning
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom57177.2022.00015openalex-snapshot
An Efficient Metric-Based Approach for Static Use-After-Free Detection
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom57177.2022.00056openalex-snapshot
MVDetecter: Vulnerability Primitive-based General Memory Vulnerability Detection
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom59178.2023.00089openalex-snapshot
DPFCFI: A Hardware-Based Forward Control-Flow Integrity for Architecture and Microarchitecture
inferred← citeshttps://doi.org/10.1109/isqed69900.2026.11534742openalex-snapshot
Shadow Integrity Control (sic)
showing the first 200 of 621 · page through all 621
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.