7 papers
Verifiable Manifest Signing and Transparency Enforcement for Secure MCP-Based LLM Pipelines
Saeid Jamshidi, Kawser Wazed Nafi, Arghavan Moradi Dakhel +2
Large Language Models (LLMs) are increasingly deployed in tool-driven environments such as healthcare analytics, financial systems, retrieval-augmented generation (RAG), and multi-…
Multi-Agent LLM Governance for Safe Two-Timescale Reinforcement Learning in SDN-IoT Defense
Saeid Jamshidi, Negar Shahabi, Foutse Khomh +2
Software-Defined Networking (SDN) is increasingly adopted to secure Internet-of-Things (IoT) networks due to its centralized control and programmable forwarding. However, SDN-IoT d…
Adversarial Moral Stress Testing of Large Language Models
Saeid Jamshidi, Foutse Khomh, Arghavan Moradi Dakhel +3
Evaluating the ethical robustness of large language models (LLMs) deployed in software systems remains challenging, particularly under sustained adversarial user interaction. Exist…
Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
Dmytro Humeniuk, Mohammad Hamdaqa, Houssem Ben Braiek +2
Extensive simulation-based testing is important for assuring the safety of autonomous driving systems (ADS). However, generating safety-critical traffic scenarios remains challengi…
A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
Mohamed Salah Bouafif, Chen Zheng, Ilham Ahmed Qasse +3
The surge in the adoption of smart contracts necessitates rigorous auditing to ensure their security and reliability. Manual auditing, although comprehensive, is time-consuming and…
Refactoring with LLMs: Bridging Human Expertise and Machine Understanding
Yonnel Chen Kuang Piao, Jean Carlors Paul, Leuson Da Silva +3
Code refactoring is a fundamental software engineering practice aimed at improving code quality and maintainability. Despite its importance, developers often neglect refactoring du…