Yuyan Bao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Cache Refinement Type for Side-Channel Detection of Cryptographic Software. | Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang |
| 2022 | FMCAD | Bounded Model Checking for LLVM. | Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel |
| 2022 | SP | SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications. | Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Yuyan Bao |
| 2021 | ATVA | Verifying Verified Code. | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
| 2021 | GPCE | HACCLE: metaprogramming for secure multi-party computation. | 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, Benot Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni |
| 2015 | ECOOP | Conditional effects in fine-grained region logic. | Yuyan Bao, Gary T. Leavens, Gidon Ernst |