PASHI: Programmable Assure and Secure Hardware Interface
Abstract
The goals of this discovery are to design, develop a secure computing framework where different trust level devices can be integrated onto the same connected distributed system. The core innovations in the proposed research project are a formal verification method for designing device-oblivious secure network interface architecture with programmable access control and authentication parameters, and an automated hardware logic mapping or variant based on government need. This is a discovery (research) program to lead a study to determine the feasibility of enabling the integration of different (secure and non-secure) COTS (Commercial Off the Shelf) devices to securely interoperate within distributed connected heterogeneous environments. This research will work to verify and validate assumptions made in hardware security. It will use open-source software and have the implemented platform source codes housed in the public repository (GitHub) that will be accessible by any entities in the public domain. It will help anyone not to start from scratch in its own implementation and ease any type of upgrades. Companies working in security of COTS may be interested in using this source code.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 05, 2023
- Source ID
- FA87502310500
Entities
People
- Michel Kinsy
Organizations
- Arizona State University
- Rome Laboratory
- United States Air Force