Michael Vai

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 17

Top Topics

Computing Power

Embedded Real Time Systems

Embedded Systems

Top Venues

Publications

Michael Vai, Eric Simpson, Donato Kava, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Gabriel Torres, Jeffery Lim, Ben Nahill, Roger Khazan, Fred Schneider
Security-as-a-Service for Embedded Systems. MILCOM (2023)
Michael Vai, David Whelihan, Eric Simpson, Donato Kava, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Gabriel Torres, Jeffery Lim, Ben Nahill, Roger Khazan, Fred Schneider
Zero Trust Architecture Approach for Developing Mission Critical Embedded Systems. HPEC (2023)
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, Walt Tirenin, Douglas Schafer
A Novel Approach to Cyber Situational Awareness in Embedded Systems. HPEC (2021)
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, Douglas Schafer, Michael Lynch, Kyle Tillotson, Wladimir Tirenin
Agile and Resilient Embedded Systems. MILCOM (2021)
Kyle Denney, Enes Erdin, Leonardo Babun, Michael Vai, A. Selcuk Uluagac
USB-Watch: A Dynamic Hardware-Assisted USB Threat Detection Framework. SecureComm (1) (2019)
Michael Vai, Yunsi Fei, Roger Khazan
Guest Editorial: Special Issue on Hardware Solutions for Cyber Security. J. Hardw. Syst. Secur. 3 (3) (2019)
Michael Vai, David Whelihan, Jacob Leemaster, Haley Whitman, Willahelm Wan, Yunsi Fei, Roger Khazan, Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas
Mission Assurance: Beyond Secure Processing. QRS Companion (2018)
Jacob Leemaster, Michael Vai, David Whelihan, Haley Whitman, Roger Khazan
Functionality and Security Co-design Environment for Embedded Systems. HPEC (2018)
Enes Erdin, Hidayet Aksu, A. Selcuk Uluagac, Michael Vai, Kemal Akkaya
OS Independent and Hardware-Assisted Insider Threat Detection and Prevention Framework. MILCOM (2018)
Jason H. Li, Douglas Schafer, David Whelihan, Stefano Lassini, Nicholas Evancich, Kyung Joon Kwak, Michael Vai, Haley Whitman
Designing Secure and Resilient Embedded Avionics Systems. SecDev (2018)
Michael Vai, Karen Gettings, Theodore Lyszczarz
Fabrication security and trust of domain-specific ASIC processors. HOST (2017)
Michael Geis, Karen Gettings, Michael Vai
Optical physical unclonable function. MWSCAS (2017)
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
Designing agility and resilience into embedded systems. MILCOM (2017)
Benjamin Nahill, Aaron Mills, Martin Kiernicki, David A. Wilson, Michael Vai, Roger Khazan, John Sherer
Towards a universal CDAR device: A high-performance adapter-based inline media encryptor. MILCOM (2017)
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
SHAMROCK: A Synthesizable High Assurance Cryptography and Key management coprocessor. MILCOM (2016)
David Whelihan, Kate Thurmer, Michael Vai
A key-centric processor architecture for secure computing. HOST (2016)
Michael Vai, David Whelihan, Nicholas Evancich, Kyung Joon Kwak, Jason H. Li, M. Britton, J. Foley, Michael Lynch, Douglas Schafer, J. DeMatteis
Systems design of cybersecurity in embedded systems. HPEC (2016)
Michael Vai, Ben Nahill, Joshua Kramer, Michael Geis, Daniil M. Utin, David Whelihan, Roger Khazan
Secure architecture for embedded systems. HPEC (2015)
Karen Gettings, Marc Burke, Jeremy Muldavin, Michael Vai
Coarse-grain reconfigurable ASIC through multiplexer based switches. HPEC (2015)
Daniil M. Utin, Roger Khazan, Joshua Kramer, Michael Vai, David Whelihan
SHAMROCK: self contained cryptography and key management processor. CCS (2013)
Karen Gettings, Andrew K. Bolstad, Show-Yah Stuart Chen, Michael N. Ericson, Benjamin A. Miller, Michael Vai
Low Power Sparse Polynomial Equalizer (SPEQ) for Nonlinear Digital Compensation of an Active Anti-Alias Filter. SiPS (2012)