Zero Trust Architecture Approach for Developing Mission Critical Embedded Systems. - Michael Vai; David Whelihan; Eric Simpson; Donato Kava; Alice Lee; Huy Nguyen; Jeffrey J. Hughes; Gabriel Torres; Jeffery Lim; Ben Nahill; Roger Khazan; Fred B. Schneider (HPEC, 2023)

Security-as-a-Service for Embedded Systems. - Michael Vai; Eric Simpson; Donato Kava; Alice Lee; Huy Nguyen; Jeffrey J. Hughes; Gabriel Torres; Jeffery Lim; Ben Nahill; Roger Khazan; Fred B. Schneider (MILCOM, 2023)

Composable Mission-Critical Embedded System Architecture for High Assurance. - Michael Vai; Eric Simpson; Alice Lee; Huy Nguyen; Jeffrey J. Hughes; Ben Nahill; Jeffery Lim; Roger Khazan; Sean R. O'Melia; Fred B. Schneider (HPEC, 2024)

High Assurance Multi-Function Crypto Development. - Jeffrey J. Hughes; Ben Nahill; Eric Simpson; Jeffery Lim; Ryan Burrow; John Dean; Brian Lee; Michael Vai; Roger Khazan; Sean R. O'Melia; Andrew Ho; Michael Parrish; et al. (MILCOM, 2024)