Roger Khazan

26 papers A* 2A 4B 3Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2024 — conf
Composable Mission-Critical Embedded System Architecture for High Assurance.
HPEC
Michael Vai, Eric Simpson, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Ben Nahill, Jeffery Lim, Roger Khazan, Sean R. O'Melia, Fred B. Schneider
2024 — conf
High Assurance Multi-Function Crypto Development.
MILCOM
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, Jeffrey Womack, Scott Trotter, Maria Lodico
2023 — conf
Security-as-a-Service for Embedded Systems.
MILCOM
Michael Vai, Eric Simpson, Donato Kava, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Gabriel Torres, Jeffery Lim, Ben Nahill, Roger Khazan, Fred B. Schneider
2023 J jnl
TAG: Tagged Architecture Guide.
ACM Comput. Surv.
Samuel Jero, Nathan Burow, Bryan C. Ward, Richard Skowyra, Roger Khazan, Howard E. Shrobe, Hamed Okhravi
2023 — conf
Zero Trust Architecture Approach for Developing Mission Critical Embedded Systems.
HPEC
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
2021 A conf
Practical Principle of Least Privilege for Secure Embedded Systems.
RTAS
Samuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C. Ward, Gabriel Parmer, Richard Skowyra
2020 — conf
Moving Target Defense Considerations in Real-Time Safety- and Mission-Critical Systems.
MTD@CCS
Nathan Burow, Ryan Burrow, Roger Khazan, Howard E. Shrobe, Bryan C. Ward
2020 J jnl
One Giant Leap for Computer Security.
IEEE Secur. Priv.
Hamed Okhravi, Nathan Burow, Richard Skowyra, Bryan C. Ward, Samuel Jero, Roger Khazan, Howard E. Shrobe
2019 J jnl
Guest Editorial: Special Issue on Hardware Solutions for Cyber Security.
J. Hardw. Syst. Secur.
Michael Vai, Yunsi Fei, Roger Khazan
2018 — conf
Functionality and Security Co-design Environment for Embedded Systems.
HPEC
Jacob Leemaster, Michael Vai, David Whelihan, Haley Whitman, Roger Khazan
2018 B conf
Leveraging Intel SGX Technology to Protect Security-Sensitive Applications.
NCA
Joseph Sobchuk, Sean R. O'Melia, Daniil M. Utin, Roger Khazan
2018 — conf
Mission Assurance: Beyond Secure Processing.
QRS Companion
Michael Vai, David Whelihan, Jacob Leemaster, Haley Whitman, Willahelm Wan, Yunsi Fei, Roger Khazan, Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas
2017 — conf
Towards a universal CDAR device: A high-performance adapter-based inline media encryptor.
MILCOM
Benjamin Nahill, Aaron Mills, Martin Kiernicki, David A. Wilson, Michael Vai, Roger Khazan, John Sherer
2016 — conf
Building low-power trustworthy systems: Cyber-security considerations for Real-Time Physiological Status Monitoring.
MILCOM
John Holliman, Michael Zhivich, Roger Khazan, Albert Swiston, Brian A. Telfer
2016 — conf
SHAMROCK: A Synthesizable High Assurance Cryptography and Key management coprocessor.
MILCOM
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
2015 — conf
Secure architecture for embedded systems.
HPEC
Michael Vai, Ben Nahill, Joshua Kramer, Michael Geis, Daniil M. Utin, David Whelihan, Roger Khazan
2013 A* conf
SHAMROCK: self contained cryptography and key management processor.
CCS
Daniil M. Utin, Roger Khazan, Joshua Kramer, Michael Vai, David Whelihan
2011 J jnl
Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax.
RFC
Jonathan C. Herzog, Roger Khazan
2005 B conf
A Wide Area Network Simulation of Single-Round Group Membership Algorithms.
NCA
Roger Khazan, Sophia Yuditskaya
2005 A conf
Using Leader-Based Communication to Improve the Scalability of Single-Round Group Membership Algorithms.
IPDPS
Roger Khazan, Sophia Yuditskaya
2002 J jnl
A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach.
SIAM J. Comput.
Idit Keidar, Roger Khazan
2002 J jnl
An inheritance-based technique for building simulation proofs incrementally.
ACM Trans. Softw. Eng. Methodol.
Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
2000 A conf
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms.
ICDCS
Idit Keidar, Roger Khazan
2000 A* conf
An inheritance-based technique for building simulation proofs incrementally.
ICSE
Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
1998 A conf
Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service.
DISC
Roger Khazan, Alan D. Fekete, Nancy A. Lynch
1996 B conf
Parsing with Prefix and Suffix Dictionaries.
Data Compression Conference
Martin Cohn, Roger Khazan