Technology · Generative AI Annotated Bibliography

Software Engineering Research Methods -- Generative AI in Automated Security Testing

Sample paper

Word Count: approximately 1,650 words

Article Summaries

Tihanyi et al. (2023) -- FormAI dataset and formal verification: Generative AI can meaningfully improve security testing efficiency, but generated test cases require rigorous formal verification to be trustworthy, particularly important for self-managing, dynamic smart campus security needs.

Metta et al. (2024) -- Generative AI as shield and sword: Generative AI supports cyberattack simulation, security orchestration, and threat intelligence, while raising ethical concerns about malicious use requiring safe-implementation guidelines; AI-enabled tools can outperform conventional risk detection and mitigation approaches.

Yigit et al. (2024) -- GANs and transformers for cybersecurity: These models improve threat detection accuracy and speed while raising ethical risk and misuse concerns, addressed through proposed risk-management frameworks including ethical charters and ongoing monitoring.

Krishnamurthy (2023) -- GenAI's dual offensive/defensive role: GenAI tools support security policy automation, incident management, and secure code generation, while also enabling adversarial attack vectors (jailbreaking, prompt injection) and malicious content generation, requiring strict ethical policy and active misuse safeguards.

Sai et al. (2024) -- ChatGPT and DALL-E for security: These models support automated threat identification, security policy generation, and threat visualisation, constrained by risks of harmful content generation and the need for continuous model updating and strict regulation.

Comparison with AI-Generated Output

The AI-generated summary effectively captured Generative AI's dual defensive/risk nature in cybersecurity, but the source articles provided considerably deeper practical examples and theoretical framing supporting these claims, reinforcing the value of direct engagement with primary literature alongside AI-assisted synthesis.

Conclusion

Generative AI offers substantial promise for automating and strengthening security testing, provided deployment is paired with rigorous verification, ethical governance, and continuous model updating against emerging threats -- a combination the bibliography identifies as especially critical for smart campus environments requiring self-managing, dynamic security postures.

References

Tihanyi, N., Bisztray, T., Jain, R., Ferrag, M. A., Cordeiro, L. C., & Mavroeidis, V. (2023, December). 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 (pp. 33-43). Metta, S., Chang, I., Parker, J., Roman, M. P., & Ehuan, A. F. (2024). Generative AI in cybersecurity. arXiv preprint arXiv:2405.01674. Yigit, Y., Buchanan, W. J., Tehrani, M. G., & Maglaras, L. (2024). Review of generative AI methods in cybersecurity. arXiv preprint arXiv:2403.08701. Krishnamurthy, O. (2023). Enhancing cyber security enhancement through Generative AI. International Journal of Universal Science and Engineering, 9, 35-50. Sai, S., Yashvardhan, U., Chamola, V., & Sikdar, B. (2024). Generative AI for cyber security: Analyzing the potential of ChatGPT, DALL-E, and other models for enhancing the security space. IEEE Access.

Commission similar work

Tell us the brief - we’ll match a specialist.