TNIC is a trusted NIC architecture on top of hardware accelarators that aims to provide a secure trusted networking API for building trustworthy distributed systems while keeping the trusted computed base (TCB) minimal and veriable.
We build TNIC on top of SmartNICs, i.e., specifically we built our prototype on top of Alveo U280 from Xilinx. We evaluated TNIC compared to other TEEs (SGX, AMD-SEV) as root-of-trust for networked systems. We applied it to four applications (more info in the paper!) and we conducted a security analysis of TNIC system operations to proof that is verifiable.
You can find more details in our ASPLOS'25 paper.
TNIC is available in the following repositories:
TNIC-hw which contains the hardware implementation of TNIC.
TNIC-sw which contains the codebases of TNIC applications.
TNIC-proofs which contains the security proofs of TNIC system operations.
This repository also contains the full version of the paper presenting (2) formally verified proofs for the TNIC security protocols and (2) the implementation details of four distributed systems using TNIC.