TNIC: A Trusted NIC Architecture

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Giantsidi, Dimitra, Pritzi, Julian, Gust, Felix, Katsarakis, Antonios, Koshiba, Atsushi, Bhatotia, Pramod
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910819041673216
author Giantsidi, Dimitra
Pritzi, Julian
Gust, Felix
Katsarakis, Antonios
Koshiba, Atsushi
Bhatotia, Pramod
author_facet Giantsidi, Dimitra
Pritzi, Julian
Gust, Felix
Katsarakis, Antonios
Koshiba, Atsushi
Bhatotia, Pramod
contents We introduce TNIC, a trusted NIC architecture for building trustworthy distributed systems deployed in heterogeneous, untrusted (Byzantine) cloud environments. TNIC builds a minimal, formally verified, silicon root-of-trust at the network interface level. We strive for three primary design goals: (1) a host CPU-agnostic unified security architecture by providing trustworthy network-level isolation; (2) a minimalistic and verifiable TCB based on a silicon root-of-trust by providing two core properties of transferable authentication and non-equivocation; and (3) a hardware-accelerated trustworthy network stack leveraging SmartNICs. Based on the TNIC architecture and associated network stack, we present a generic set of programming APIs and a recipe for building high-performance, trustworthy, distributed systems for Byzantine settings. We formally verify the safety and security properties of our TNIC while demonstrating its use by building four trustworthy distributed systems. Our evaluation of TNIC shows up to 6x performance improvement compared to CPU-centric TEE systems.
format Preprint
id arxiv_https___arxiv_org_abs_2502_05338
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle TNIC: A Trusted NIC Architecture
Giantsidi, Dimitra
Pritzi, Julian
Gust, Felix
Katsarakis, Antonios
Koshiba, Atsushi
Bhatotia, Pramod
Cryptography and Security
We introduce TNIC, a trusted NIC architecture for building trustworthy distributed systems deployed in heterogeneous, untrusted (Byzantine) cloud environments. TNIC builds a minimal, formally verified, silicon root-of-trust at the network interface level. We strive for three primary design goals: (1) a host CPU-agnostic unified security architecture by providing trustworthy network-level isolation; (2) a minimalistic and verifiable TCB based on a silicon root-of-trust by providing two core properties of transferable authentication and non-equivocation; and (3) a hardware-accelerated trustworthy network stack leveraging SmartNICs. Based on the TNIC architecture and associated network stack, we present a generic set of programming APIs and a recipe for building high-performance, trustworthy, distributed systems for Byzantine settings. We formally verify the safety and security properties of our TNIC while demonstrating its use by building four trustworthy distributed systems. Our evaluation of TNIC shows up to 6x performance improvement compared to CPU-centric TEE systems.
title TNIC: A Trusted NIC Architecture
topic Cryptography and Security
url https://arxiv.org/abs/2502.05338