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
Using general profile