Pengfei Gao -

Not registered as user yet

Name:Pengfei Gao

Country:China

Affiliation:ShanghaiTech University

Contributions

2023

SPLASH

Author of Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks within the OOPSLA-track

2020

ASE

Author of Formal Verification of Masking Countermeasures for Arithmetic Programs within the Student Research Competition-track