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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email