Lokesh Chauhan

IaC-Guard-V: A Verification Framework for LLM-Generated Infrastructure-as-Code Repairs

Infrastructure-as-Code (IaC) misconfigurations are a leading cause of cloud security incidents, and Large Language Models (LLMs) are increasingly proposed as automated repair agents. Yet the trustworthiness of LLM-generated IaC repairs remains underexplored. IaC presents distinctive verification challenges: security sc...