On the public citation graph
HeapCheck: Low-cost Hardware Support for Memory Safety
0 signed · 48 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.1109/cgo.2011.5764689openalex-snapshot
Practical memory checking with Dr. Memory
inferredcites →https://doi.org/10.1109/isca.2014.6853201openalex-snapshot
The CHERI capability model: Revisiting RISC in an age of risk
inferredcites →https://doi.org/10.1109/isca.2018.00056openalex-snapshot
Practical Memory Safety with REST
inferredcites →https://doi.org/10.1109/isca45697.2020.00068openalex-snapshot
CHEx86: Context-Sensitive Enforcement of Memory Safety via Microcode-Enabled Capabilities
inferredcites →https://doi.org/10.1109/isca52012.2021.00076openalex-snapshot
No-FAT: Architectural Support for Low Overhead Memory Safety Checks
inferredcites →https://doi.org/10.1109/isca52012.2021.00082openalex-snapshot
ZeRØ: Zero-Overhead Resilient Operation Under Pointer Integrity Attacks
inferredcites →https://doi.org/10.1109/micro50266.2020.00095openalex-snapshot
Hardware-based Always-On Heap Memory Safety
inferredcites →https://doi.org/10.1109/msecp.2003.1236233openalex-snapshot
The Morris worm: a fifteen-year perspective
inferredcites →https://doi.org/10.1109/sp40000.2020.00098openalex-snapshot
Cornucopia: Temporal Safety for CHERI Heaps
inferredcites →https://doi.org/10.1109/tc.2019.2914037openalex-snapshot
CHERI Concentrate: Practical Compressed Capabilities
inferredcites →https://doi.org/10.1145/2892208.2892212openalex-snapshot
Heap bounds protection with low fat pointers
inferredcites →https://doi.org/10.1145/3224423openalex-snapshot
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack
inferredcites →https://doi.org/10.1145/3352460.3358274openalex-snapshot
Speculative Taint Tracking (STT)
inferredcites →https://doi.org/10.1145/3352460.3358299openalex-snapshot
Practical Byte-Granular Memory Blacklisting using Califorms
inferredcites →https://doi.org/10.1145/3445814.3446761openalex-snapshot
In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection
inferredcites →https://doi.org/10.14722/ndss.2017.23287openalex-snapshot
Stack Bounds Protection with Low Fat Pointers
inferredcites →https://doi.org/10.2139/ssrn.4129684openalex-snapshot
Sok: The Progress, Challenges, and Perspectives of Directed Greybox Fuzzing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
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.1109/acsac67867.2025.00035openalex-snapshot
PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking
inferred← citeshttps://doi.org/10.1109/asp-dac66049.2026.11420350openalex-snapshot
ANIMo: Accelerating Nested Isolation with Monitor-free Domain Transition
inferred← citeshttps://doi.org/10.1109/dsn-s54099.2022.00015openalex-snapshot
On the Scalability of HeapCheck
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/host64725.2025.11050045openalex-snapshot
Cryptographic Least Privilege Enforcement for Scalable Memory Isolation
inferred← citeshttps://doi.org/10.1109/hpca61900.2025.00124openalex-snapshot
OASIS: Object-Aware Page Management for Multi-GPU Systems
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/isca66397.2026.00059openalex-snapshot
SPEC CPU: The Next Generation
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00043openalex-snapshot
GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning
inferred← citeshttps://doi.org/10.1109/tc.2022.3180990openalex-snapshot
WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants
inferred← citeshttps://doi.org/10.1109/tc.2025.3586029openalex-snapshot
RV-CURE: A RISC-V Capability Architecture for Full Memory Safety
inferred← citeshttps://doi.org/10.1145/3576915.3623138openalex-snapshot
Cryptographically Enforced Memory Safety
inferred← citeshttps://doi.org/10.1145/3579854openalex-snapshot
FlexPointer: Fast Address Translation Based on Range TLB and Tagged Pointers
inferred← citeshttps://doi.org/10.1145/3579856.3590331openalex-snapshot
Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging
inferred← citeshttps://doi.org/10.1145/3607199.3607212openalex-snapshot
MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking
inferred← citeshttps://doi.org/10.21203/rs.3.rs-4411293/v1openalex-snapshot
DID: Data Isolation via Dynamic Adjustment of Permissions and Spaces
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.