Cryptographically Secure Multi-Tenant Provisioning of FPGAs

TL;DR

This paper introduces a scalable, cryptographically secure framework for multi-tenant FPGA provisioning in cloud environments, ensuring confidentiality and IP protection without significant resource overhead.

Contribution

It presents the first FPGA provisioning framework that balances security and scalability, with a constant resource overhead and cryptographic security guarantees.

Findings

Prototype implementation on Xilinx Virtex-7 validates scalability.

Framework maintains constant resource overhead regardless of tenants.

Achieves cryptographic security with practical deployment considerations.

Abstract

FPGAs (Field Programmable Gate arrays) have gained massive popularity today as accelerators for a variety of workloads, including big data analytics, and parallel and distributed computing. This has fueled the study of mechanisms to provision FPGAs among multiple tenants as general purpose computing resources on the cloud. Such mechanisms offer new challenges, such as ensuring IP protection and bitstream confidentiality for mutually distrusting clients sharing the same FPGA. A direct adoption of existing IP protection techniques from the single tenancy setting do not completely address these challenges, and are also not scalable enough for practical deployment. In this paper, we propose a dedicated and scalable framework for secure multi-tenant FPGA provisioning that can be easily integrated into existing cloud-based infrastructures such as OpenStack. Our technique has constant resource/memory overhead irrespective of the number of tenants sharing a given FPGA, and is provably secure under well-studied cryptographic assumptions. A prototype implementation of our proposition on Xilinx Virtex-7 UltraScale FPGAs is presented to validate its overheads and scalability when supporting multiple tenants and workloads. To the best of our knowledge, this is the first FPGA provisioning framework to be prototyped that achieves a desirable balance between security and scalability in the multi-tenancy setting.