Wen-Chuan Lee

发表

RAIVE: runtime assessment of floating-point instability by vectorization

Wen-Chuan Lee, Xiangyu Zhang, Rajiv Gupta, 2015, OOPSLA 2015.

MODE: automated neural network model debugging via state differential analysis and input selection

Wen-Chuan Lee, Xiangyu Zhang, Ananth Grama, 2018, ESEC/SIGSOFT FSE.

Trojaning Attack on Neural Networks

Wen-Chuan Lee, Xiangyu Zhang, Juan Zhai, 2018, NDSS.

2017 Trojaning Attack on Neural Networks

X. Zhang, Yousra Aafer, Shiqing Ma, 2018 .

NIC: Detecting Adversarial Samples with Neural Network Invariant Checking

Wen-Chuan Lee, Xiangyu Zhang, Guanhong Tao, 2019, NDSS.

Automatic Generation for Efficient Software TLM at Multiple Abstraction Layers

R. Tsay, Wen-Chuan Lee, Meng-Huan Wu, 2010 .

Program Binary Typical workloads Input Spec . Causality Inference Engine Model Constructor Causal Models Segmented Parser Context Constraint Checker Audit Logs Causality Annotated Model Generation Model Parsing Recognized Causality Recognized Models

X. Zhang, V. Yegneswaran, Fei Wang, 2017 .

Programming support for autonomizing software

Peng Liu, Wen-Chuan Lee, Xiangyu Zhang, 2019, PLDI.

Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach

Wen-Chuan Lee, Xiangyu Zhang, Dongyan Xu, 2018, CCS.

OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary

Wei You, Yonghwi Kwon, Guanhong Tao, 2021, 2021 IEEE Symposium on Security and Privacy (SP).

LAMP: data provenance for graph based machine learning algorithms through derivative computation

Wen-Chuan Lee, Xiangyu Zhang, Juan Zhai, 2017, ESEC/SIGSOFT FSE.

Trojaning Attack on Neural Networks

Yousra Aafer, Shiqing Ma, Wen-Chuan Lee, 2018 .