activity
20172022
most citedAdversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

54 citations · 96 across the 11 of their papers we have counts for

collaborators
Showing cs.CRShow all

7 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.CR2021★ 3 cited

ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence

Haoxi Tan, Mahin Chandramohan, Cristina Cifuentes +2

Malware analysis is still largely a manual task. This slow and inefficient approach does not scale to the exponential rise in the rate of new unique malware generated. Hence, autom…

cs.CR2021★ 1 cited

An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems

Taejun Choi, Guangdong Bai, Ryan K L Ko +3

Industrial control systems (ICS) of critical infrastructure are increasingly connected to the Internet for remote site management at scale. However, cyber attacks against ICS - esp…

cs.CR2020★ 4 cited

PrivColl: Practical Privacy-Preserving Collaborative Machine Learning

Yanjun Zhang, Guangdong Bai, Xue Li +3

Collaborative learning enables two or more participants, each with their own training dataset, to collaboratively learn a joint model. It is desirable that the collaboration should…

cs.CR2020★ 9 cited

Don't Fish in Troubled Waters! Characterizing Coronavirus-themed Cryptocurrency Scams

Pengcheng Xia, Haoyu Wang, Xiapu Luo +6

As COVID-19 has been spreading across the world since early 2020, a growing number of malicious campaigns are capitalizing the topic of COVID-19. COVID-19 themed cryptocurrency sca…

cs.CR2020★ 5 cited

DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts

Ru Ji, Ningyu He, Lei Wu +3

Cryptocurrency has seen an explosive growth in recent years, thanks to the evolvement of blockchain technology and its economic ecosystem. Besides Bitcoin, thousands of cryptocurre…

cs.CR2018★ 3 cited

Analyzing Use of High Privileges on Android: An Empirical Case Study of Screenshot and Screen Recording Applications

Mark Huasong Meng, Guangdong Bai, Joseph K. Liu +2

The number of Android smartphone and tablet users has experienced a rapid growth in the past few years and it raises users' awareness on the privacy and security of their mobile de…