Zheng Leong Chua | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Fan Zhang
151 publications
Kuldeep S. Meel
49 publications
Yajin Zhou
24 publications
Prateek Saxena
24 publications
Yueqiang Cheng
19 publications
Teodora Baluta
8 publications
Xiaoxuan Lou
4 publications
Zhenkai Liang
3 publications

research

∙ 02/17/2020

Scalable Quantitative Verification For Deep Neural Networks

Verifying security properties of deep neural networks (DNNs) is becoming...

0 Teodora Baluta, et al. ∙

research

∙ 01/11/2019

Understanding Rowhammer Attacks through the Lens of a Unified Reference Framework

Rowhammer is a hardware-based bug that allows the attacker to modify the...

0 Xiaoxuan Lou, et al. ∙