Old Web
English
Sign In
Acemap
>
authorDetail
>
Yuyan Bao
Yuyan Bao
University of Waterloo
Computer science
Toolchain
Cryptographic protocol
Metaprogramming
Secret sharing
4
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
HACCLE: metaprogramming for secure multi-party computation
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 Létourneau
Benoît Meister
Jonathan Springer
Tiark Rompf
Milind Kulkarni
Show All
Source
Cite
Save
Citations (0)
Reachability types: tracking aliasing and separation in higher-order functional programs
2021
Yuyan Bao
Guannan Wei
Oliver Bračevac
Yuxuan Jiang
Qiyang He
Tiark Rompf
Show All
Source
Cite
Save
Citations (1)
Verifying Verified Code
2021
ATVA | Automated Technology for Verification and Analysis
Siddharth Priya
Xiang Zhou
Yusen Su
Yakir Vizel
Yuyan Bao
Arie Gurfinkel
Show All
Source
Cite
Save
Citations (0)
1