Low Power Sparse Polynomial Equalizer (SPEQ) for Nonlinear Digital Compensation of an Active Anti-Alias Filter. - Karen Gettings; Andrew K. Bolstad; Show-Yah Stuart Chen; Michael N. Ericson; Benjamin A. Miller; Michael Vai (SiPS, 2012)

SHAMROCK: self contained cryptography and key management processor. - Daniil M. Utin; Roger Khazan; Joshua Kramer; Michael Vai; David Whelihan (CCS, 2013)

Coarse-grain reconfigurable ASIC through multiplexer based switches. - Karen Gettings; Marc Burke; Jeremy Muldavin; Michael Vai (HPEC, 2015)

Secure architecture for embedded systems. - Michael Vai; Ben Nahill; Joshua Kramer; Michael Geis; Daniil M. Utin; David Whelihan; Roger Khazan (HPEC, 2015)

A key-centric processor architecture for secure computing. - David Whelihan; Kate Thurmer; Michael Vai (HOST, 2016)

Systems design of cybersecurity in embedded systems. - Michael Vai; David Whelihan; Nicholas Evancich; Kyung Joon Kwak; Jason H. Li; M. Britton; J. Foley; Michael Lynch; Douglas Schafer; J. DeMatteis (HPEC, 2016)

SHAMROCK: A Synthesizable High Assurance Cryptography and Key management coprocessor. - David Whelihan; Michael Vai; Daniil M. Utin; Roger Khazan; Karen Gettings; Tom Anderson; Antonio Godfrey; Raymond Govotski; Mark Yeager; Brendon Chetwynd; Ben Nahill; Eric Koziel (MILCOM, 2016)

Fabrication security and trust of domain-specific ASIC processors. - Michael Vai; Karen Gettings; Theodore Lyszczarz (HOST, 2017)

Towards a universal CDAR device: A high-performance adapter-based inline media encryptor. - Benjamin Nahill; Aaron Mills; Martin Kiernicki; David A. Wilson; Michael Vai; Roger Khazan; John Sherer (MILCOM, 2017)

Designing agility and resilience into embedded systems. - David Whelihan; Michael Vai; Nicholas Evancich; Kyung Joon Kwak; Jason H. Li; M. Britton; B. Frantz; D. Hadcock; Michael Lynch; Douglas Schafer; J. DeMatteis; D. Russo (MILCOM, 2017)

Optical physical unclonable function. - Michael Geis; Karen Gettings; Michael Vai (MWSCAS, 2017)

Functionality and Security Co-design Environment for Embedded Systems. - Jacob Leemaster; Michael Vai; David Whelihan; Haley Whitman; Roger Khazan (HPEC, 2018)

OS Independent and Hardware-Assisted Insider Threat Detection and Prevention Framework. - Enes Erdin; Hidayet Aksu; A. Selcuk Uluagac; Michael Vai; Kemal Akkaya (MILCOM, 2018)

Mission Assurance: Beyond Secure Processing. - Michael Vai; David Whelihan; Jacob Leemaster; Haley Whitman; Willahelm Wan; Yunsi Fei; Roger Khazan; Ilia A. Lebedev; Kyle Hogan; Srinivas Devadas (QRS Companion, 2018)

Designing Secure and Resilient Embedded Avionics Systems. - Jason H. Li; Douglas Schafer; David Whelihan; Stefano Lassini; Nicholas Evancich; Kyung Joon Kwak; Michael Vai; Haley Whitman (SecDev, 2018)

USB-Watch: A Dynamic Hardware-Assisted USB Threat Detection Framework. - Kyle Denney; Enes Erdin; Leonardo Babun; Michael Vai; A. Selcuk Uluagac (SecureComm (1), 2019)

Guest Editorial: Special Issue on Hardware Solutions for Cyber Security. - Michael Vai; Yunsi Fei; Roger Khazan (J. Hardw. Syst. Secur., 2019)

A Novel Approach to Cyber Situational Awareness in Embedded Systems. - Kyle Denney; Robert Lychev; Donato Kava; Alice Lee; Michael Vai; Nick Evancich; Richard Clark; David Lide; Kyung Joon Kwak; Jason H. Li; Michael Lynch; Kyle Tillotson; et al. (HPEC, 2021)

Agile and Resilient Embedded Systems. - Michael Vai; David Whelihan; Kyle Denney; Robert Lychev; Jeffrey J. Hughes; Donato Kava; Alice Lee; Nick Evancich; Richard Clark; David Lide; Kyung Joon Kwak; Jason H. Li; et al. (MILCOM, 2021)

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)

Security-by-Design for Cross-Constellation Satellite Communications. - Michael Vai; Shankararaman Ramakrishnan; Joseph Greco; Christopher Hayes; Lori L. Jeromin; Todd Ulmer; John Moores; Jonah Tower; Michael Butterfield; Gregory Kuperman (MILCOM, 2024)