12 citations · 18 across the 3 of their papers we have counts for
3 papers
Scalable Quantitative Verification For Deep Neural Networks
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel +1
Despite the functional success of deep neural networks (DNNs), their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification tech…
Understanding Rowhammer Attacks through the Lens of a Unified Reference Framework
Xiaoxuan Lou, Fan Zhang, Zheng Leong Chua +3
Rowhammer is a hardware-based bug that allows the attacker to modify the data in the memory without accessing it, just repeatedly and frequently accessing (or hammering) physically…
Preventing Your Faults From Telling Your Secrets: Defenses Against Pigeonhole Attacks
Shweta Shinde, Zheng Leong Chua, Viswesh Narayanan +1
New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several sid…