Building Secure Code with LLMs: A Hands-On Prompt-to-Verification Workflow

#IEEE #Lafayette #programming #security #software-engineering #stem
Share
Large Language Models (LLMs) are increasingly used by developers and students to generate code, offering significant gains in productivity and accessibility. However, LLM-generated code often introduces subtle yet critical security vulnerabilities, particularly in domains such as cryptography and secure software development. This webinar presents a practical and systematic approach to secure code generation using LLMs, focusing on transforming raw model outputs into verifiably safe implementations.
The session introduces a structured workflow, Prompt → Harden → Verify, that guides participants through crafting security-aware prompts with explicit constraints, enforcing correctness through unit testing, and applying lightweight automated security checks prior to deployment. Through hands-on demonstrations, attendees will learn how to integrate secure coding practices directly into the LLM-assisted development pipeline.
By the end of the webinar, participants will gain a repeatable methodology for reducing vulnerabilities in AI-generated code, along with ready-to-use templates and a security validation checklist. This work aims to bridge the gap between AI-assisted programming and secure software engineering, enabling practitioners to harness LLM capabilities while maintaining strong security guarantees.

  Date and Time

  Location

  Hosts

  Registration


  • Add_To_Calendar_icon Add Event to Calendar

Loading virtual attendance info...

  • Contact Event Hosts
  • Starts 05 April 2026 10:00 PM UTC
  • Ends 17 April 2026 04:30 PM UTC
  • No Admission Charge

  Speakers

Dr. Mahmoud Abouyoussef

Topic:

Secure Code Generation with LLMs From Prompt to Proven Safe

Biography:

Mahmoud Abouyoussef is an Assistant Professor in the Department of Computer Systems Technology at North Carolina A&T State University, Greensboro, NC, USA, since January 2025. He received his Ph.D. in Computer Science from Tennessee Technological University, TN, USA, in 2022. He also holds two M.Sc. degrees in Electronic Design and Electronics and Communications from Mid Sweden University, Sweden, and Misr International University, Egypt, in 2012 and 2019, respectively. He was awarded the Eminence Award for the Doctor of Philosophy Best Paper from Tennessee Technological University. Dr. Abouyoussef’s research centers on the design of secure, privacy-preserving, and intelligent systems for smart cities and healthcare infrastructures. His work integrates cybersecurity, artificial intelligence, and distributed systems to address emerging challenges in critical and resource-constrained environments. His research interests span blockchain-enabled IoT and healthcare systems, cryptography and privacy-preserving mechanisms, large language models (LLMs) for security and intelligent decision-making, network security and intrusion detection, smart grid and critical infrastructure protection, secure vehicular networks, AI-driven anomaly detection, and secure data sharing in distributed ecosystems. He actively contributes to the research community and serves as a Technical Program Committee (TPC) member for leading international conferences, including IEEE International Conference on Communications and IEEE Global Communications Conference.