共 50 条
- [11] Automated Compositional Verification of Interlocking Systems RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS, RSSRAIL 2023, 2023, 14198 : 146 - 164
- [14] Automated Verification Techniques for Probabilistic Systems FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS, SFM 2011, 2011, 6659 : 53 - 113
- [15] Credible, Unreliable or Leaked?: Evidence Verification for Enhanced Automated Fact-checking PROCEEDINGS OF THE 3RD ACM INTERNATIONAL WORKSHOP ON MULTIMEDIA AI AGAINST DISINFORMATION, MAD 2024, 2024, : 73 - 81
- [16] Defending Against Adversarial Attacks in Speaker Verification Systems 2021 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE (IPCCC), 2021,
- [18] Ensemble Adversarial Defenses and Attacks in Speaker Verification Systems IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (20): : 32645 - 32655
- [20] Toward Practical Adversarial Attacks on Face Verification Systems PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE OF THE BIOMETRICS SPECIAL INTEREST GROUP (BIOSIG 2021), 2021, 315