Abstract is missing.
- Verifiable Multi-Agent Multi-Task AssignmentThomas Lavaur, Déborah Conforto Nedelmann, Corentin Chauffaut, Jérôme Lacan, Caroline P. C. Chanel. 1-12 [doi]
- Designing Secure AI-based Systems: a Multi-Vocal Literature ReviewSimon Schneider, Ananya Saha, Emanuele Mezzi, Katja Tuma, Riccardo Scandariato. 13-19 [doi]
- Repairing Infrastructure-as-Code using Large Language ModelsEn Low, Carmen Cheh, Binbin Chen 0001. 20-27 [doi]
- Evasion Attacks on Object Detection Models using Attack TransferabilityArjun E. R. R, Pavan Kulkarni, Yuvaraj Govindarajulu, Harshit Shah, Manojkumar Parmar. 28-34 [doi]
- From automation to CI/CD: a comparative evaluation of threat modeling toolsDimitri Van Landuyt, Laurens Sion, Walewein Philips, Wouter Joosen. 35-45 [doi]
- BliMe LinterHossam ElAtali, Xiaohe Duan, Hans Liljestrand, Meng Xu, N. Asokan. 46-53 [doi]
- Understanding the Challenges in Detecting Vulnerabilities of Rust ApplicationsDiane B. Stephens, Kawkab Aldoshan, Mustakimur Rahman Khandaker. 54-63 [doi]
- User Privacy in the Digital Playground: An In-Depth Investigation of Facebook Instant GamesSideeq Bello, Babangida Bappah, Nicholas R. Tanet, Arabelle S. Betzwieser, Aisha I. Ali-Gombe. 64-75 [doi]
- iConPAL: LLM-guided Policy Authoring Assistant for Configuring IoT DefensesMahbub Alam, Siwei Zhang, Eric Rodriguez, Akib Nafis, Endadul Hoque. 76-92 [doi]
- Community Security Champions: Studying the Most Influential Users on Security Stack ExchangePartha Das Chowdhury, Mohammad Tahaei, Matthew Edwards 0001, Claudia Peersman, Lata Nautiyal, Kopo Marvin Ramokapane, Awais Rashid. 93-104 [doi]
- Sharing without Showing: Secure Cloud Analytics with Trusted Execution EnvironmentsMarcus Birgersson, Cyrille Artho, Musard Balliu. 105-116 [doi]
- GENIE: Guarding the npm Ecosystem with Semantic Malware DetectionMatías F. Gobbi, Johannes Kinder. 117-128 [doi]
- Octal: Efficient Automatic Data-Oblivious Program Transformations to Eliminate Side-Channel LeakageBiniyam Mengist Tiruye, Lauren Biernacki, Tersiteab Adem, Petros Mola, Todd M. Austin. 129-139 [doi]
- Moving from the Developer Machine to IoT Devices: An Empirical StudyMd Rabbi Alam, Jinpeng Wei, Md Sajidul Islam Sajid, Qingyang Wang, Chenglong Fu 0004. 140-152 [doi]
- Lessons Learned and Challenges of Deploying Control Flow Integrity in Complex Software: the Case of OpenJDK's Java Virtual MachineSabine Houy, Alexandre Bartel. 153-165 [doi]
- DeTRAP: RISC-V Return Address Protection With Debug TriggersIsaac Richter, Jie Zhou, John Criswell. 166-177 [doi]
- A NAND Use Case for Cybersecurity ExperimentsTimothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang 0001, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao. 178-179 [doi]
- Toward Partial Proofs of VulnerabilitiesJonathan Brossard. 180-182 [doi]
- Reverse Engineering Branch Prediction Capabilities in Modern Micro-ArchitecturesRodrigo Branco, Ben Lee. 183-185 [doi]
- Open Source Software (OSS) Transparency TutorialCarol Woody, Scott Hissam. 186-187 [doi]