 OSCAR: Operating System Control via State-Aware Reasoning and
Re-PlanningInternational Conference on Learning Representations (ICLR), 2024 |
 PromSec: Prompt Optimization for Secure Generation of Functional Source
Code with Large Language Models (LLMs)Conference on Computer and Communications Security (CCS), 2024 |
 Enhanced Automated Code Vulnerability Repair using Large Language ModelsEngineering applications of artificial intelligence (EAAI), 2024 |
 A New Era in Software Security: Towards Self-Healing Software via Large
Language Models and Formal VerificationInternational Conference/Workshop on Automation of Software Test (AST), 2023 |
