54 citations · 119 across the 8 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 54 cited
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo +4
Neural networks have been widely applied in security applications such as spam and phishing detection, intrusion prevention, and malware detection. This black-box method, however,…
cs.CR2020★ 2 cited
CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies
Qingze Hum, Wei Jin Tan, Shi Ying Tey +4
Cryptocurrencies have become very popular in recent years. Thousands of new cryptocurrencies have emerged, proposing new and novel techniques that improve on Bitcoin's core innovat…