Zhixiao Zhang

Bibliography

Table of Contents

Security

A Language-Based Approach to Security
Schneider, Fred B. and Morrisett, J. Gregory and Harper, Robert
In Informatics - 10 Years Back. 10 Years Ahead. 2001
Fat Pointers for Temporal Memory Safety of C
Zhou, Jie and Criswell, John and Hicks, Michael
In Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1 2023
Secure by Design: Google's Perspective on Memory Safety
Alex Rebert and Christoph Kern
2024
Everything You Want to Know About Pointer-Based Checking
Nagarakatte, Santosh and Martin, Milo M. K. and Zdancewic, Steve
In 1st Summit on Advances in Programming Languages (SNAPL 2015) 2015
SoK: Eternal War in Memory
Szekeres, Laszlo and Payer, Mathias and Wei, Tao and Song, Dawn
In Proceedings of the 2013 IEEE Symposium on Security and Privacy 2013
SoftBound+CETS Revisited: More Than a Decade Later
Orthen, Benjamin and Braunsdorf, Oliver and Zieris, Philipp and Horsch, Julian
In Proceedings of the 17th European Workshop on Systems Security 2024

Pointer Analysis

A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction
Li, Wei and He, Dongjie and Gui, Yujiang and Chen, Wenguang and Xue, Jingling
In Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction 2024