49 citations · 60 across the 11 of their papers we have counts for
4 papers · 1 filter
Conflict Extraction in Probabilistic Datalog Analyses
Siyu Chen, Chungha Sung, Xuyang Li +1
Probabilistic extensions of Datalog enable static analyses such as pointer analysis, data race detection, and side-channel analysis to rank alarms by likelihood, but this added exp…
Efficient Symbolic Execution of Software under Fault Attacks
Yuzhou Fang, Chenyu Zhou, Jingbo Wang +1
We propose a symbolic execution method for analyzing the safety of software under fault attacks both accurately and efficiently. Fault attacks leverage physically injected hardware…
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…
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…