EasyChair Smart SlideDocs/Log in
Author: Fu Song

This page shows all presentations of this author published in EasyChair Smart Slide.

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-Party Computation

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-Party Computation

Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang and Wanwei Liu

SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks

SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks

Jun Zhang, Pengfei Gao, Fu Song and Chao Wang

Android Stack Machine

Android Stack Machine

Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu and Jun Yan

Presentations in this collection: 3
Copyright © 2002 – 2025 EasyChair