Skip to content

SABLE: Minimalist Instruction-Level Authenticated Encryption for Constrained Confidential Computing

Jul 2026 · arXiv.org · Vol abs/2607.16771 · 0 citations · 38 references
Computer Science

TL;DR

This work introduces and presents a design exploration of a RISC-V processor architecture (SABLE) that enables minimally invasive instruction-level authenticated encryption of programs and explores seven ILE micro-architectures from a single-cycle (combinational) design to six multi-cycle (sequential) variants.

Abstract

Conventional processor designs expose code and data as plaintext throughout execution, rendering them inherently vulnerable to attacks that recover intellectual property or modify security/safety checks. Instruction-level encryption (ILE) enables CPU-level decryption, execution, and optionally authentication of individual encrypted program instructions at runtime. However, existing proposals depend on specific micro-architectures, detect corrupted instructions after they have executed, rely on non-standard ciphers, or require complex analyses of program state. In this work, we introduce and present a design exploration of a RISC-V processor architecture (SABLE) that enables minimally invasive instruction-level authenticated encryption of programs. SABLE is agnostic to the underlying micro-architecture, remaining compatible with the standard RISC-V toolchain with minor changes to post-process compiled ELF binaries. We integrate a decrypt-and-verify stage at two points (the instruction-memory wrapper and the CPU frontend) and explore seven ILE micro-architectures from a single-cycle (combinational) design to six multi-cycle (sequential) variants. We implement and evaluate the designs using ASCON-128a on a Xilinx Artix-7 FPGA with the open-source NEORV32 system on chip. Relative to baseline performance, the configurations span LUT, performance, power, and energy-per-instruction overheads of 1.6-9.3$\times$, 4.1-10.0$\times$, 1.5-8.0$\times$, and 10.4-80.0$\times$, respectively, using the Dhrystone benchmarking suite. Finally, we discuss design trade-offs, highlighting area-, performance-, and energy-aware design points.

View source

Similar papers

Preprint Sep 2026

Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM

Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone cannot enforce information-flow security. This problem is further aggravated in LLVM-like low-level languages that allow unrestricted pointer...

Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle et al. · 0 citations
Conference Aug 2026

Control Flow Defense Technology for RISC-V Based on Encrypted Shadow Stacks

RISC-V instruction set architecture plays an important role in embedded systems with its characteristics of open source, free and modular design. However, it is susceptible to code reuse attacks due to the lack of memory protection mechanisms. For this reason, the paper proposes a design scheme for encrypted shadow sta...

De-Hao Yang, Gang Li, Peng-Jun Wang et al. · 0 citations
Preprint Sep 2026

TPM-Attest: Hardware-Rooted Integrity Attestation as a Kernel-Level Anti-Cheat Alternative for Linux

TPM-Attest is presented, a hardware-rooted remote attestation framework that uses the Trusted Platform Module (TPM) 2.0 and the Linux Integrity Measurement Architecture (IMA) to prove, cryptographically, that a client booted cleanly and ran only authorised software -- without any kernel driver, without proprietary code...

Anudeep Gedela, A. Technology, Gitam University et al. · 0 citations
Preprint Aug 2026

SeriCrypt: An LLM-Driven Context-Aware Serialization Framework for Cryptographic Protocols

Constructing syntactically correct and cryptographically valid message sequences is essential for protocol state machine learning, conformance testing, and fuzzing. Unlike plaintext protocols, cryptographic protocols involve complex cross-message state dependencies and cryptographic computation constraints. Existing au...

Maosong Chen, Xi Chen, Mengcheng Ju et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.