FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Jiashuo Zhang

Registered user since Thu 25 Aug 2022

Name:Jiashuo Zhang
Affiliation:Peking University, China
Research interests:Blockchain Security, Smart Contract Analysis/Testing

Contributions

Show activities from other conferences

Using general profile