49 citations · 57 across the 6 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2023
Systematic Testing of the Data-Poisoning Robustness of KNN
Yannan Li, Jingbo Wang, Chao Wang
Data poisoning aims to compromise a machine learning based software component by contaminating its training set to change its prediction results for test inputs. Existing methods f…
cs.SE2021★ 1 cited
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Jingbo Wang, Chungha Sung, Mukund Raghothaman +1
We propose a data-driven method for synthesizing a static analyzer to detect side-channel information leaks in cryptographic software. Compared to the conventional way of manually…
cs.SE2018
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
Chungha Sung, Brandon Paulsen, Chao Wang
A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual rese…