AI for software security

AI is a powerful tool to overcome the awkward situation of extracting endless rules from real world. Our research explores how learning-based models and large language models can help understand program behavior, infer software specifications, guide security testing, and automate complex analysis tasks that are difficult to handle with manually designed rules alone.