Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Kexin Pei

Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity


Dec 29, 2020
Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray

* To appear in 42nd IEEE Symposium on Security and Privacy (Oakland S&P 2021) 

  Access Paper or Ask Questions

XDA: Accurate, Robust Disassembly with Transfer Learning


Oct 27, 2020
Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana

* To appear in 2021 Network and Distributed System Security Symposium (NDSS 2021) 

  Access Paper or Ask Questions

NEUZZ: Efficient Fuzzing with NeuralProgram Smoothing


Nov 04, 2018
Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana


  Access Paper or Ask Questions

Efficient Formal Safety Analysis of Neural Networks


Oct 26, 2018
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

* Accepted to NIPS'18 

  Access Paper or Ask Questions

Formal Security Analysis of Neural Networks using Symbolic Intervals


Jul 01, 2018
Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana

* Accepted to USENIX Security 2018 

  Access Paper or Ask Questions

DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars


Mar 20, 2018
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray


  Access Paper or Ask Questions

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems


Dec 16, 2017
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

* 16 pages, 11 tables, 11 figures 

  Access Paper or Ask Questions

DeepXplore: Automated Whitebox Testing of Deep Learning Systems


Sep 24, 2017
Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana

* To be published in SOSP'17 

  Access Paper or Ask Questions