Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hongjian Liu
conf.researchr.org general profile
ISSTA 2025 profile
Not registered as user
Name:
Hongjian Liu
Affiliation:
Zhejiang University, Hangzhou, China
Contributions
2025
ISSTA
Author of Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic within the Research Papers-track
Share
x
Sun 26 Oct 02:49