Our two papers titled Preserving Privacy for Distributed Genome-Wide Analysis against Identity Tracing Attacks and Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective are accepted by The IEEE Transactions on Dependable and Secure Computing (TDSC).
Guangdong Bai
Associate Professor
Department of Computer Science
City University of Hong Kong