research
∙
06/24/2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Neural networks have been widely applied in security applications such a...
share
research
∙
04/02/2022
Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning
When deploying pre-trained neural network models in real-world applicati...
research
∙
04/27/2021
Confined Gradient Descent: Privacy-preserving Optimization for Federated Learning
Federated learning enables multiple participants to collaboratively trai...
research
∙
03/12/2021
ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence
Malware analysis is still largely a manual task. This slow and inefficie...
research
∙
01/28/2021
An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems
Industrial control systems (ICS) of critical infrastructure are increasi...
research
∙
10/23/2020
When the Open Source Community Meets COVID-19: Characterizing COVID-19 themed GitHub Repositories
Ever since the beginning of the outbreak of the COVID-19 pandemic, resea...
research
∙
07/27/2020
Don't Fish in Troubled Waters! Characterizing Coronavirus-themed Cryptocurrency Scams
As COVID-19 has been spreading across the world since early 2020, a grow...
research
∙
06/11/2020
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts
Cryptocurrency has seen an explosive growth in recent years, thanks to t...
research
∙
05/23/2017