conftrace_

memory safety

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

heap overflow detection (1) pointer tagging (1) page protection (1) buffer overflow (1) rust programming language (1) foreign language interface (1) type safety (1) confidential virtual machine (1) secure information flow (1) c to rust translation (1)

Papers

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification ACL 2026 Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025 VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024 TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers OSDI 2023