Zheng Leong Chua

1. Scalable Quantitative Verification For Deep Neural Networks
   2020/02/17 by Teodora Baluta, Zheng Leong Chua, Baluta, Teodora +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
2. Preventing Your Faults From Telling Your Secrets: Defenses Against\n Pigeonhole Attacks
   2015/06/16 by Shweta Shinde, Zheng Leong Chua, Shinde, Shweta +5 · 1 citation
   Computer Science · #Security and Verification in Computing #Advanced Malware Detection Techniques #Cryptographic Implementations and Security