[HTML][HTML] A survey on large language model (llm) security and privacy: The good, the bad, and the ugly

Y Yao, J Duan, K Xu, Y Cai, Z Sun, Y Zhang - High-Confidence Computing, 2024 - Elsevier
Abstract Large Language Models (LLMs), such as ChatGPT and Bard, have revolutionized
natural language understanding and generation. They possess deep language …

Towards an understanding of large language models in software engineering tasks

Z Zheng, K Ning, Q Zhong, J Chen, W Chen… - Empirical Software …, 2025 - Springer
Abstract Large Language Models (LLMs) have drawn widespread attention and research
due to their astounding performance in text generation and reasoning tasks. Derivative …

The robots are here: Navigating the generative ai revolution in computing education

J Prather, P Denny, J Leinonen, BA Becker… - Proceedings of the …, 2023 - dl.acm.org
Recent advancements in artificial intelligence (AI) and specifically generative AI (GenAI) are
threatening to fundamentally reshape computing and society. Largely driven by large …

A survey of safety and trustworthiness of large language models through the lens of verification and validation

X Huang, W Ruan, W Huang, G **, Y Dong… - Artificial Intelligence …, 2024 - Springer
Large language models (LLMs) have exploded a new heatwave of AI for their ability to
engage end-users in human-level conversations with detailed and articulate answers across …

Verigen: A large language model for verilog code generation

S Thakur, B Ahmad, H Pearce, B Tan… - ACM Transactions on …, 2024 - dl.acm.org
In this study, we explore the capability of Large Language Models (LLMs) to automate
hardware design by automatically completing partial Verilog code, a common language for …

Large language models for code: Security hardening and adversarial testing

J He, M Vechev - Proceedings of the 2023 ACM SIGSAC Conference on …, 2023 - dl.acm.org
Large language models (large LMs) are increasingly trained on massive codebases and
used to generate code. However, LMs lack awareness of security and are found to …

Evaluating large language models: A comprehensive survey

Z Guo, R **, C Liu, Y Huang, D Shi, L Yu, Y Liu… - arxiv preprint arxiv …, 2023 - arxiv.org
Large language models (LLMs) have demonstrated remarkable capabilities across a broad
spectrum of tasks. They have attracted significant attention and been deployed in numerous …

Clover: Clo sed-Loop Ver ifiable Code Generation

C Sun, Y Sheng, O Padon, C Barrett - International Symposium on AI …, 2024 - Springer
The use of large language models for code generation is a rapidly growing trend in software
development. However, without effective methods for ensuring the correctness of generated …

The formai dataset: Generative ai in software security through the lens of formal verification

N Tihanyi, T Bisztray, R Jain, MA Ferrag… - Proceedings of the 19th …, 2023 - dl.acm.org
This paper presents the FormAI dataset, a large collection of 112,000 AI-generated
compilable and independent C programs with vulnerability classification. We introduce a …

Who wrote this code? watermarking for code generation

T Lee, S Hong, J Ahn, I Hong, H Lee, S Yun… - arxiv preprint arxiv …, 2023 - arxiv.org
With the remarkable generation performance of large language models, ethical and legal
concerns about using them have been raised, such as plagiarism and copyright issues. For …