Registered user since Tue 16 Dec 2025
Name:Xingyu Xie
Country:China
Affiliation:MPI-SP
Personal website: https://www.namasikanam.com
GitHub: https://github.com/namasikanam
Research interests:Formal Verification for Security
Contributions
POPL 2026-profile
View general profile
View general profile