Sun 5 Jul 2026 16:55 - 17:00 at MB 3.430 - Session 4: Security, Trust, and Verification of LLM-Generated Code Chair(s): Zhijie Wang
Sun 5 JulDisplayed time zone: Eastern Time (US & Canada) change
Sun 5 Jul
Displayed time zone: Eastern Time (US & Canada) change
16:00 - 18:00 | Session 4: Security, Trust, and Verification of LLM-Generated CodePROMISE 2026 at MB 3.430 Chair(s): Zhijie Wang Concordia University | ||
16:00 15mTalk | Model-Driven Automation of Cyber-Physical Systems via AADL and LLMs PROMISE 2026 | ||
16:15 15mTalk | MAS-SRE: A Multi-Agent System for Security Requirements Engineering PROMISE 2026 Savvas Mantzouranidis Blekinge Institute of Technology, Ricardo Britto Ericsson / Blekinge Institute of Technology | ||
16:30 15mTalk | Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models PROMISE 2026 Youwei Huang Independent Researcher, Jianwen Li Carnegie Mellon University, Silicon Valley, Sen Fang North Carolina State University, Yao Li Macau University of Science and Technology, Peng Yang Institute of Intelligent Computing Technology, Suzhou, CAS, Bin Hu Institute of Computing Technology, Chinese Academy of Sciences | ||
16:45 10mTalk | Probabilistic Evidence Aggregation for Source Code Authorship Verification: An Ongoing Set-Based Approach PROMISE 2026 | ||
16:55 5mDay closing | Closing PROMISE 2026 Lili Wei McGill University, Xiaoyu Sun Australian National University, Australia, Csaba Nagy PONTUM Software GmbH | ||