Zhaozhong Ni

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 1

Top Topics

Hardware Design

Aspect Oriented

Top Venues

Publications

Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. ASPLOS (2) (2024)
Zhaozhong Ni, Dachuan Yu, Zhong Shao
Using XCAP to Certify Realistic Systems Code: Machine Context Management. TPHOLs (2007)
Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
An open framework for foundational proof-carrying code. TLDI (2007)
Zhaozhong Ni, Zhong Shao
Certified assembly programming with embedded code pointers. POPL (2006)
Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni
Modular verification of assembly code with stack-based control abstractions. PLDI (2006)
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reason. 31 (3-4) (2003)
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code. LICS (2002)
Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
A Representation of Fomega in LF. Electron. Notes Theor. Comput. Sci. 58 (1) (2001)