On the public citation graph

Checked C: Making C Safe by Extension

https://doi.org/10.1109/secdev.2018.00015

0 signed · 83 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/(sici)1097-024x(199701)27:1<87::aid-spe78>3.0.co;2-popenalex-snapshot

Low-cost, Concurrent Checking of Pointer and Array Accesses in C Programs

inferredcites →https://doi.org/10.1002/(sici)1097-024x(200006)30:7<775::aid-spe309>3.0.co;2-hopenalex-snapshot

A static analyzer for finding dynamic programming errors

inferredcites →https://doi.org/10.1002/spe.4380180902openalex-snapshot

Garbage collection in an uncooperative environment

inferredcites →https://doi.org/10.1002/spe.4380220403openalex-snapshot

Adding run‐time checking to the portable C compiler

inferredcites →https://doi.org/10.1007/978-3-540-71316-6_35openalex-snapshot

Dependent Types for Low-Level Programming

inferredcites →https://doi.org/10.1007/978-3-540-74061-2_27openalex-snapshot

Astrée: From Research to Industry

inferredcites →https://doi.org/10.1016/j.entcs.2008.06.039openalex-snapshot

A Comparative Study of Industrial Static Analysis Tools

inferredcites →https://doi.org/10.1016/j.scico.2006.02.003openalex-snapshot

Safe manual memory management in Cyclone

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.2013.13openalex-snapshot

SoK: Eternal War in Memory

inferredcites →https://doi.org/10.1145/1065887.1065892openalex-snapshot

CCured: type-safe retrofitting of legacy software

inferredcites →https://doi.org/10.1145/1102120.1102165openalex-snapshot

Control-flow integrity

inferredcites →https://doi.org/10.1145/1134285.1134319openalex-snapshot

Modular checking for buffer overflows in the large

inferredcites →https://doi.org/10.1145/1542476.1542504openalex-snapshot

SoftBound

inferredcites →https://doi.org/10.1145/1542476.1542505openalex-snapshot

Implementation of the memory-safe full ANSI-C compiler

inferredcites →https://doi.org/10.1145/1646353.1646374openalex-snapshot

A few billion lines of code later

inferredcites →https://doi.org/10.1145/168619.168635openalex-snapshot

Efficient software-based fault isolation

inferredcites →https://doi.org/10.1145/1755688.1755707openalex-snapshot

PAriCheck

inferredcites →https://doi.org/10.1145/178243.178446openalex-snapshot

Efficient detection of all pointer and array access errors

inferredcites →https://doi.org/10.1145/201059.201065openalex-snapshot

Supporting dynamic data structures on distributed-memory machines

inferredcites →https://doi.org/10.1145/2892208.2892212openalex-snapshot

Heap bounds protection with low fat pointers

inferredcites →https://doi.org/10.1145/512529.512563openalex-snapshot

Region-based memory management in cyclone

inferredcites →https://doi.org/10.1145/773473.178446openalex-snapshot

Efficient detection of all pointer and array access errors

inferredcites →https://doi.org/10.1145/780822.781153openalex-snapshot

A static analyzer for large safety-critical software

inferredcites →https://doi.org/10.1145/781151.781153openalex-snapshot

A static analyzer for large safety-critical software

inferredcites →https://doi.org/10.5555/1298455.1298461openalex-snapshot

SafeDrive: safe and recoverable extensions using language-based techniques

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

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-94583-1_11openalex-snapshot

Lightweight Shape Analysis Based on Physical Types

inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_7openalex-snapshot

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

inferred← citeshttps://doi.org/10.1007/978-3-031-41181-6_31openalex-snapshot

Enabling Lightweight Privilege Separation in Applications with MicroGuards

inferred← citeshttps://doi.org/10.1007/978-3-031-55608-1_11openalex-snapshot

Advanced Memory and Shape Analyses

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.1109/acsac67867.2025.00035openalex-snapshot

PSan: Towards Hybrid Metadata Scheme for Efficient Pointer Checking

inferred← citeshttps://doi.org/10.1109/apr52552.2021.00013openalex-snapshot

Automated Code Repair to Ensure Spatial Memory Safety

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/cress68073.2025.11452528openalex-snapshot

Survey of Language Level Memory Safety

inferred← citeshttps://doi.org/10.1109/csf.2019.00025openalex-snapshot

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919657openalex-snapshot

A Formal Model of Checked C

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/icse-companion58688.2023.00074openalex-snapshot

Improving Automatic C-to-Rust Translation with Static Analysis

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00069openalex-snapshot

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00183openalex-snapshot

Safe Low-Level Code Without Overhead is Practical

inferred← citeshttps://doi.org/10.1109/icse55347.2025.00023openalex-snapshot

LLM Assistance for Memory Safety

inferred← citeshttps://doi.org/10.1109/jiot.2025.3602576openalex-snapshot

REMAP: A Fine-Grained Runtime Memory Protection System for RTOS

inferred← citeshttps://doi.org/10.1109/raid67961.2025.00036openalex-snapshot

TypeFlexer: Type Directed Flexible Program Partitioning

inferred← citeshttps://doi.org/10.1109/secdev45635.2020.00018openalex-snapshot

Refactoring the FreeBSD Kernel with Checked C

inferred← citeshttps://doi.org/10.1109/secdev51306.2021.00018openalex-snapshot

Tutorial: Making C Programs Safer with Checked C

inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179388openalex-snapshot

Low-Cost Privilege Separation with Compile Time Compartmentalization for Embedded Systems

inferred← citeshttps://doi.org/10.1109/sp61157.2025.00077openalex-snapshot

SoK: Integrity, Attestation, and Auditing of Program Execution

inferred← citeshttps://doi.org/10.1109/sp61157.2025.00134openalex-snapshot

SoK: Challenges and Paths Toward Memory Safety for eBPF

inferred← citeshttps://doi.org/10.1109/sp63933.2026.00085openalex-snapshot

QuickSafe: Targeted Hardening Against Memory Corruption

inferred← citeshttps://doi.org/10.1109/sp63933.2026.00163openalex-snapshot

SoK: All You Ever Wanted to Know About Bootloader Security but Were Afraid to Ask

inferred← citeshttps://doi.org/10.1145/3213846.3213849openalex-snapshot

Lightweight verification of array indexing

inferred← citeshttps://doi.org/10.1145/3297280.3299741openalex-snapshot

Fyr

inferred← citeshttps://doi.org/10.1145/3316781.3317836openalex-snapshot

HardScope

inferred← citeshttps://doi.org/10.1145/3320269.3384757openalex-snapshot

CoDaRR: Continuous Data Space Randomization against Data-Only Attacks

inferred← citeshttps://doi.org/10.1145/3337167.3337171openalex-snapshot

Position Paper

inferred← citeshttps://doi.org/10.1145/3428244openalex-snapshot

Sound garbage collection for C using pointer provenance

inferred← citeshttps://doi.org/10.1145/3453483.3454036openalex-snapshot

RefinedC: automating the foundational verification of C code with refined ownership types

inferred← citeshttps://doi.org/10.1145/3460434openalex-snapshot

PICO

inferred← citeshttps://doi.org/10.1145/3505250openalex-snapshot

MetaSys: A Practical Open-source Metadata Management System to Implement and Evaluate Cross-layer Optimizations

inferred← citeshttps://doi.org/10.1145/3586038openalex-snapshot

Fat Pointers for Temporal Memory Safety of C

inferred← citeshttps://doi.org/10.1145/3586046openalex-snapshot

Aliasing Limits on Translating C to Safe Rust

inferred← citeshttps://doi.org/10.1145/3607199.3607212openalex-snapshot

MIFP: Selective Fat-Pointer Bounds Compression for Accurate Bounds Checking

inferred← citeshttps://doi.org/10.1145/3637227openalex-snapshot

A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety

inferred← citeshttps://doi.org/10.1145/3652032.3657579openalex-snapshot

Foundations for a Rust-Like Borrow Checker for C

inferred← citeshttps://doi.org/10.1145/3674629openalex-snapshot

A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler

inferred← citeshttps://doi.org/10.1145/3689712openalex-snapshot

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

inferred← citeshttps://doi.org/10.1145/3696443.3708926openalex-snapshot

Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees

inferred← citeshttps://doi.org/10.1145/3702229openalex-snapshot

Towards a Rust-Like Borrow Checker for C

inferred← citeshttps://doi.org/10.1145/3728929openalex-snapshot

Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)

inferred← citeshttps://doi.org/10.1145/3763799openalex-snapshot

A Flow-Sensitive Refinement Type System for Verifying eBPF Programs

inferred← citeshttps://doi.org/10.1145/3779208.3805988openalex-snapshot

FIDES: End-to-end Compartments for Mixed-language Systems

inferred← citeshttps://doi.org/10.1145/3786795openalex-snapshot

Vital : Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search

inferred← citeshttps://doi.org/10.1145/3808266openalex-snapshot

Cpp2Rust: Automatic Translation of C++ to Safe Rust

inferred← citeshttps://doi.org/10.1145/3814943.3816182openalex-snapshot

A Pointer-Ownership Model for C Inspired by Rust

inferred← citeshttps://doi.org/10.1145/3839523openalex-snapshot

AADT: Abstract Abstract Data Types

inferred← citeshttps://doi.org/10.2514/6.2018-5397openalex-snapshot

Flight Software Programming Language Selection: A Security Perspective

inferred← citeshttps://doi.org/10.48550/arxiv.2004.04846openalex-snapshot

$μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions

inferred← citeshttps://doi.org/10.5753/sblp.2025.10677openalex-snapshot

Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques

inferred← citeshttps://doi.org/10.58837/chula.the.2018.154openalex-snapshot

Boundwarden: thread-enforced spatial memory safety through compile-time transformations

inferred← citeshttps://doi.org/10.70675/543093c7zdd4fz49d3z9018ze1350ab125e8openalex-snapshot

Automated verification of systems code using type-based memory abstractions

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.