research
∙
07/28/2023
VeriGen: A Large Language Model for Verilog Code Generation
In this study, we explore the capability of Large Language Models (LLMs)...
share
research
∙
06/24/2023
LLM-assisted Generation of Hardware Assertions
The security of computer systems typically relies on a hardware root of ...
research
∙
05/09/2023
StarCoder: may the source be with you!
The BigCode community, an open-scientific collaboration working on the r...
research
∙
04/28/2023
Can deepfakes be created by novice users?
Recent advancements in machine learning and computer vision have led to ...
research
∙
12/21/2022
Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis
Fuzz testing is often automated, but also frequently augmented by expert...
research
∙
12/17/2022
Beyond the C: Retargetable Decompilation using Neural Machine Translation
The problem of reversing the compilation process, decompilation, is an i...
research
∙
12/13/2022
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
Automating hardware design could obviate a significant amount of human e...
research
∙
08/23/2022
Evaluating Synthetic Bugs
Fuzz testing has been used to find bugs in programs since the 1990s, but...
research
∙
08/20/2022
Security Implications of Large Language Model Code Assistants: A User Study
Advances in Deep Learning have led to the emergence of Large Language Mo...
research
∙
02/02/2022
Pop Quiz! Can a Large Language Model Help With Reverse Engineering?
Large language models (such as OpenAI's Codex) have demonstrated impress...
research
∙
12/03/2021
Can OpenAI Codex and Other Large Language Models Help Us Fix Security Bugs?
Human developers can produce code with cybersecurity weaknesses. Can eme...
research
∙
08/20/2021
An Empirical Cybersecurity Evaluation of GitHub Copilot's Code Contributions
There is burgeoning interest in designing AI-based systems to assist hum...
research
∙
02/19/2020
NNoculation: Broad Spectrum and Targeted Treatment of Backdoored DNNs
This paper proposes a novel two-stage defense (NNoculation) against back...
research
∙
08/02/2018
Chaff Bugs: Deterring Attackers by Making Software Buggier
Sophisticated attackers find bugs in software, evaluate their exploitabi...
research
∙
05/30/2018