Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dang Sixuan
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ISSTA/ECOOP 2024 profile
Registered user since Tue 21 May 2024
Name:
Dang Sixuan
Affiliation:
Duke University
Contributions
2025
SPLASH
Author of Agora: Trust Less and Open More in Verification for Confidential Computing within the OOPSLA-track
2024
ECOOP
Author of CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming within the Technical Papers-track
Share
x
Sun 26 Oct 23:38