Jason Nieh
Columbia University in the City of New York
H-index: 54
North America-United States
Top articles of Jason Nieh
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains | Raphael J Sofaer Yaniv David Mingqing Kang Jianjia Yu Yinzhi Cao | 2024/4/12 | |
Systems, methods, and media for verifying software | 2024/1/11 | ||
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions | PACMPL | Jianan Yao Runzhou Tao Ronghui Gu Jason Nieh | 2024/1/5 |
Systems, methods, and media for protecting applications from untrusted operating systems | 2023/3/30 | ||
Spoq: Scaling {Machine-Checkable} Systems Verification in Coq | Xupeng Li Xuheng Li Wei Qiang Ronghui Gu Jason Nieh | 2023 | |
Effective Performance Issue Diagnosis with Value-Assisted Cost Profiling | Lingmei Weng Yigong Hu Peng Huang Jason Nieh Junfeng Yang | 2023/5/8 | |
Design and verification of the arm confidential compute architecture | Xupeng Li Xuheng Li Christoffer Dall Ronghui Gu Jason Nieh | 2022/7/11 | |
{DuoAI}: Fast, automated inference of inductive invariants for verifying distributed protocols | Jianan Yao Runzhou Tao Ronghui Gu Jason Nieh | 2022 | |
{UPGRADVISOR}: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing | Yaniv David Xudong Sun Raphael J Sofaer Aditya Senthilnathan Junfeng Yang | 2022 | |
Cloud computing security: foundations and research directions | Anrin Chakraborti Reza Curtmola Jonathan Katz Jason Nieh Ahmad-Reza Sadeghi | 2022/2/21 | |
Systems, methods, and media for proving the correctness of software on relaxed memory hardware | 2022/1/20 | ||
{BlackBox}: a container security monitor for protecting containers on untrusted operating systems | Alexander Van't Hof Jason Nieh | 2022 | |
Encrypted cloud photo storage using Google photos | John S Koh Jason Nieh Steven M Bellovin | 2021/6/24 | |
A secure and formally verified Linux KVM hypervisor | Shih-Wei Li Xupeng Li Ronghui Gu Jason Nieh John Zhuang Hui | 2021 | |
Argus: Debugging performance issues in modern desktop applications with annotated causal tracing | Lingmei Weng Peng Huang Jason Nieh Junfeng Yang | 2021 | |
{DistAI}:{Data-Driven} automated invariant learning for distributed protocols | Jianan Yao Runzhou Tao Ronghui Gu Jason Nieh Suman Jana | 2021 | |
Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware | Runzhou Tao Jianan Yao Xupeng Li Shih-Wei Li Jason Nieh | 2021/10/26 | |
Formally verified memory protection for a commodity multiprocessor hypervisor | Shih-Wei Li Xupeng Li Ronghui Gu Jason Nieh John Zhuang Hui | 2021 | |
Tap: an app framework for dynamically composable mobile systems | Naser AlDuaij Jason Nieh | 2021/6/24 | |
Systems, methods, and media for trusted hypervisors | 2020/12/31 |