EasyChair Smart SlideDocs/Log in
Author: Chao Wang

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

Example Guided Synthesis of Linear Approximations for Neural Network Verification

Example Guided Synthesis of Linear Approximations for Neural Network Verification

Brandon Paulsen and Chao Wang

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

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair