vix.ing · top · new · best · stats · spec

Suman Jana

  1. Robust and Efficient Elimination of Cache and Timing Side Channels
    2015/05/31 by Benjamin Braun, Benjamin A. Braun, Braun, Benjamin A. +4 · 4 voices · 2 citations
    Computer Science · #Security and Verification in Computing #Cryptographic Implementations and Security #Physical Unclonable Functions (PUFs) and Hardware Security
  2. NEUZZ: Efficient Fuzzing with Neural Program Smoothing
    2018/07/15 by Dongdong She, She, Dongdong, Kexin Pei +9 · 1 voice · 9 citations
    Computer Science · #Advanced Malware Detection Techniques #Software Engineering Research #Software Testing and Debugging Techniques #cs.CR #cs.LG
  3. DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
    2017/08/28 by Yuchi Tian, Kexin Pei, Tian, Yuchi +5 · 31 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Software Testing and Debugging Techniques
  4. Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
    2021/03/11 by Shiqi Wang, Wang, Shiqi, Huan Zhang +11 · 35 citations
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  5. Efficient Formal Safety Analysis of Neural Networks
    2018/09/19 by Shiqi Wang, Kexin Pei, Wang, Shiqi +7 · 40 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  6. Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
    2020/11/27 by Kaidi Xu, Xu, Kaidi, Huan Zhang +11 · 30 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Advanced Malware Detection Techniques #Software Testing and Debugging Techniques
  7. TrustLLM: Trustworthiness in Large Language Models
    2024/01/01 by Yue Huang, Lichao Sun, Huang, Yue +136 · 45 citations
    Medicine · Computer Science · #Artificial Intelligence in Healthcare and Education #Privacy-Preserving Technologies in Data #Explainable Artificial Intelligence (XAI)
  8. Formal Security Analysis of Neural Networks using Symbolic Intervals
    2018/04/28 by Shiqi Wang, Kexin Pei, Wang, Shiqi +7 · 18 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques
  9. XDA: Accurate, Robust Disassembly with Transfer Learning
    2020/10/02 by Kexin Pei, Pei, Kexin, Jonas Guan +7 · 1 voice · 6 citations
    Computer Science · #Advanced Malware Detection Techniques #Digital and Cyber Forensics #Software Engineering Research #cs.CR #cs.LG
  10. Neural Network Verification with Branch-and-Bound for General Nonlinearities
    2024/05/31 by Zhouxing Shi, Qirui Jin, Shi, Zhouxing +9 · 13 citations
    Engineering · Computer Science · #Fault Detection and Control Systems #Neural Networks and Applications
  11. Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
    2020/12/16 by Kexin Pei, Pei, Kexin, Xuan Zhou +7 · 5 citations
    Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research
  12. Neutaint: Efficient Dynamic Taint Analysis with Neural Networks
    2019/07/08 by Dongdong She, Yizheng Chen, She, Dongdong +6 · 3 citations
    Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering Research
  13. Towards Compact and Robust Deep Neural Networks
    2019/06/14 by Vikash Sehwag, Sehwag, Vikash, Shiqi Wang +5 · 3 citations
    Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  14. Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis
    2022/03/22 by Dongdong She, She, Dongdong, Abhishek Shah +3 · 2 citations
    Computer Science · Biochemistry, Genetics and Molecular Biology · #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques #Protein Degradation and Inhibitors
  15. MixTrain: Scalable Training of Verifiably Robust Neural Networks
    2018/11/06 by Shiqi Wang, Yizheng Chen, Wang, Shiqi +5 · 1 citation
    Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence in Healthcare and Education #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  16. Characterizing Linear Alignment Across Language Models
    2026/03/19 by Matt Gorbett, Suman Jana · 1 voice
    Computer Science · #cs.AI
  17. Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing
    2026/03/05 by Mingkai Li, Joseph Devietti, Suman Jana +1 · 1 voice
    Computer Science · #cs.CR
  18. PatchCURE: Improving Certifiable Robustness, Model Utility, and Computation Efficiency of Adversarial Patch Defenses
    2023/10/19 by Chong Xiang, Xiang, Chong, Tong Wu +9 · 1 citation
    Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Nuclear Materials and Properties #Security and Verification in Computing
  19. HYDRA: Pruning Adversarially Robust Neural Networks
    2020/02/24 by Vikash Sehwag, Shiqi Wang, Sehwag, Vikash +5 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Anomaly Detection Techniques and Applications