共 50 条
- [41] Trustworthy Software Development - practical view of security processes through MVP methodology 2022 24TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY (ICACT): ARITIFLCIAL INTELLIGENCE TECHNOLOGIES TOWARD CYBERSECURITY, 2022, : 412 - +
- [43] The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON PREDICTIVE MODELS AND DATA ANALYTICS IN SOFTWARE ENGINEERING, PROMISE 2023, 2023, : 33 - 43
- [45] Identifying emerging security concepts using Software artifacts through an experimental case 2015 34TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC), 2015,
- [46] Prioritizing Countermeasures through the Countermeasure Method for Software Security (CM-Sec) PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, 2010, 6156 : 176 - 190
- [50] Embedded Software Security through Key-Based Control Flow Obfuscation SECURITY ASPECTS IN INFORMATION TECHNOLOGY, 2011, 7011 : 30 - +