Pith. sign in

REVIEW 1 cited by

CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2202.08669 v2 pith:PH5SIDEK submitted 2022-02-17 cs.CR cs.PLcs.SE

classification cs.CRcs.PLcs.SE
keywords memorysafetycryptsanpointerauthenticationcompiler-basedapproachesarmv8
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Memory safety bugs remain in the top ranks of security vulnerabilities, even after decades of research on their detection and prevention. Various mitigations have been proposed for C/C++, ranging from language dialects to instrumentation. Among these, compiler-based instrumentation is particularly promising, not requiring manual code modifications and being able to achieve precise memory safety. Unfortunately, existing compiler-based solutions compromise in many areas, including performance but also usability and memory safety guarantees. New developments in hardware can help improve performance and security of compiler-based memory safety. ARM Pointer Authentication, added in the ARMv8.3 architecture, is intended to enable hardware-assisted Control Flow Integrity (CFI). But since its operations are generic, it also enables other, more comprehensive hardware-supported runtime integrity approaches. As such, we propose CryptSan, a memory safety approach based on ARM Pointer Authentication. CryptSan uses pointer signatures to retrofit memory safety to C/C++ programs, protecting heap, stack, and globals against temporal and spatial vulnerabilities. We present a full LLVM-based prototype implementation, running on an M1 MacBook Pro, i.e., on actual ARMv8.3 hardware. Our prototype evaluation shows that the system outperforms similar approaches under real-world conditions. This, together with its interoperability with uninstrumented libraries and cryptographic protection against attacks on metadata, makes CryptSan a viable solution for retrofitting memory safety to C/C++ programs.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Statistical inference for Linear Stochastic Approximation with Markovian Noise

    stat.ML 2025-05 conditional novelty 7.0 of 10

    Polyak-Ruppert averaged linear stochastic approximation with Markovian noise achieves Berry-Esseen rate O(n^{-1/4}) in Kolmogorov distance, and a multiplier subsample bootstrap achieves coverage error O(n^{-1/10}).

Pith tools