6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LG2020
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…
cs.CR2019★ 6 cited
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…