A Secure and Formally Verified Linux KVM Hypervisor
Li, Shih-Wei, Li, Xupeng, Gu, Ronghui, Nieh, Jason, Zhuang Hui, John
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Get full text
Conference Proceeding
Rogueone: Detecting Rogue Updates via Differential Data-Flow Analysis Using Trust Domains
Sofaer, Raphael J., David, Yaniv, Kang, Mingqing, Yu, Jianjia, Cao, Yinzhi, Yang, Junfeng, Nieh, Jason
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
ARM Virtualization: Performance and Architectural Implications
Dall, Christoffer, Shih-Wei Li, Lim, Jin Tack, Nieh, Jason, Koloventzos, Georgios
Published in 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA) (01.06.2016)
Published in 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA) (01.06.2016)
Get full text
Conference Proceeding
Guest Editors' Introduction: Virtual Machines
Farkas, Keith I., Narayanaswami, Chandra, Nieh, Jason
Published in IEEE pervasive computing (01.10.2009)
Published in IEEE pervasive computing (01.10.2009)
Get full text
Journal Article
REPETE2: A next generation home telemedicine architecture
Lai, Albert M, Nieh, Jason, Starren, Justin B
Published in AMIA ... Annual Symposium proceedings (11.10.2007)
Get full text
Published in AMIA ... Annual Symposium proceedings (11.10.2007)
Journal Article
Using Rescue Points to Navigate Software Recovery
Sidiroglou, S., Laadan, O., Keromytis, A.D., Nieh, J.
Published in 2007 IEEE Symposium on Security and Privacy (SP '07) (01.05.2007)
Published in 2007 IEEE Symposium on Security and Privacy (SP '07) (01.05.2007)
Get full text
Conference Proceeding
Transparent Checkpoint-Restart of Distributed Applications on Commodity Clusters
Laadan, O., Phung, D., Nieh, J.
Published in 2005 IEEE International Conference on Cluster Computing (01.09.2005)
Published in 2005 IEEE International Conference on Cluster Computing (01.09.2005)
Get full text
Conference Proceeding
Thin client performance for remote 3-D image display
Lai, Albert, Nieh, Jason, Laine, Andrew, Starren, Justin
Published in AMIA ... Annual Symposium proceedings (2003)
Get full text
Published in AMIA ... Annual Symposium proceedings (2003)
Journal Article