Seeds of SEED: Building and Verifying Foundationally Isolated Hardware Architectures
Jason K. Oberg · 2021
The increased sharing of hardware resources to meet the system performance of the semiconductor industry’s next generation applications is continuing to drive significant growth in new weaknesses and vulnerabilities. This paper reinforces the need for building foundationally isolated hardware that can be verified based on information flow guarantees. It gives a unique perspective on the problem, describes some important initiatives, and provides some guidance on what processes can be implemented to help combat it.