3 papers
cs.CR2026
Cracking IoT Security: Can LLMs Outsmart Static Analysis Tools?
Jason Quantrill, Noura Khajehnouri, Zihan Guo +1
Smart home IoT platforms such as openHAB rely on Trigger Action Condition (TAC) rules to automate device behavior, but the interplay among these rules can give rise to interaction…
cs.CR2025
Taught by the Flawed: How Dataset Insecurity Breeds Vulnerable AI Code
Catherine Xia, Manar H. Alalfi
AI programming assistants have demonstrated a tendency to generate code containing basic security vulnerabilities. While developers are ultimately responsible for validating and re…
cs.SE2025
GitHub's Copilot Code Review: Can AI Spot Security Flaws Before You Commit?
Amena Amro, Manar H. Alalfi
As software development practices increasingly adopt AI-powered tools, ensuring that such tools can support secure coding has become critical. This study evaluates the effectivenes…