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
School of Information Technology and Electrical Engineering
The University of Queensland
Australia