This page shows all presentations of this author published in EasyChair Smart Slide.
SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks
Jun Zhang, Pengfei Gao, Fu Song and Chao Wang
Android Stack Machine
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan