Not registered as user yet

Name:Bo-Yin Yang
Affiliation:Academia Sinica

Contributions

ASE 2019 Author of Verifying Arithmetic in Cryptographic C Programs within the Research Papers-track