Yuyan Bao

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 20

Top Topics

Abstract Interpretation

Secure Multi Party Computation

Technical Report

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Formal Aspects Comput.

Publications

Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking. CoRR (2024)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages (Technical Report). CoRR (2023)
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf
Modeling Reachability Types with Logical Relations. CoRR (2023)
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. CoRR (2023)
Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang
Cache Refinement Type for Side-Channel Detection of Cryptographic Software. CCS (2022)
Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Yuyan Bao
SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications. IEEE Symposium on Security and Privacy (2022)
Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel
Bounded Model Checking for LLVM. FMCAD (2022)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying verified code. Innov. Syst. Softw. Eng. 18 (3) (2022)
Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang
Cache Refinement Type for Side-Channel Detection of Cryptographic Software. CoRR (2022)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying Verified Code. ATVA (2021)
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: metaprogramming for secure multi-party computation. GPCE (2021)
Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf
Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying Verified Code. CoRR (2021)
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni
HACCLE: An Ecosystem for Building Secure Multi-Party Computations. CoRR (2020)
Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. CoRR (2019)
Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. USENIX Security Symposium (2019)
Yuyan Bao, Gary T. Leavens
A Methodology for Invariants, Framing, and Subtyping in JML. Principled Software Development (2018)
Yuyan Bao, Gary T. Leavens, Gidon Ernst
Unifying separation logic and region logic to allow interoperability. Formal Aspects Comput. 30 (3-4) (2018)
Yuyan Bao, Gary T. Leavens, Gidon Ernst
Conditional effects in fine-grained region logic. FTfJP@ECOOP (2015)