共 50 条
- [21] A Software Solution for Hardware Vulnerabilities 2017 IEEE CYBERSECURITY DEVELOPMENT (SECDEV), 2017, : 27 - 33
- [24] Automated Characterization of Software Vulnerabilities 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), 2019, : 135 - 139
- [27] Assisted Discovery of Software Vulnerabilities PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 464 - 467
- [28] Software Vulnerabilities Precluded by SPARK SIGADA 2011: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2011, : 39 - 46