[HTML][HTML] A survey on large language model (llm) security and privacy: The good, the bad, and the ugly
Abstract Large Language Models (LLMs), such as ChatGPT and Bard, have revolutionized
natural language understanding and generation. They possess deep language …
natural language understanding and generation. They possess deep language …
Towards an understanding of large language models in software engineering tasks
Abstract Large Language Models (LLMs) have drawn widespread attention and research
due to their astounding performance in text generation and reasoning tasks. Derivative …
due to their astounding performance in text generation and reasoning tasks. Derivative …
The robots are here: Navigating the generative ai revolution in computing education
Recent advancements in artificial intelligence (AI) and specifically generative AI (GenAI) are
threatening to fundamentally reshape computing and society. Largely driven by large …
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
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 …
engage end-users in human-level conversations with detailed and articulate answers across …
Verigen: A large language model for verilog code generation
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 …
hardware design by automatically completing partial Verilog code, a common language for …
Large language models for code: Security hardening and adversarial testing
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 …
used to generate code. However, LMs lack awareness of security and are found to …
Evaluating large language models: A comprehensive survey
Large language models (LLMs) have demonstrated remarkable capabilities across a broad
spectrum of tasks. They have attracted significant attention and been deployed in numerous …
spectrum of tasks. They have attracted significant attention and been deployed in numerous …
Clover: Clo sed-Loop Ver ifiable Code Generation
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 …
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
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 …
compilable and independent C programs with vulnerability classification. We introduce a …
Who wrote this code? watermarking for code generation
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 …
concerns about using them have been raised, such as plagiarism and copyright issues. For …