SANER 2024
Tue 12 - Fri 15 March 2024 Rovaniemi , Finland
Thu 14 Mar 2024 15:12 - 15:21 at KUU - Tool Demo Showcase Chair(s): Xiaozhou Li
Fri 15 Mar 2024 15:30 - 15:37 at KURU - Software Security Chair(s): Andrea Janes

Thu 14 Mar

Displayed time zone: Athens change

14:00 - 15:30
Tool Demo ShowcaseTools Demo Track at KUU
Chair(s): Xiaozhou Li University of Oulu
14:00
9m
Talk
Immersive Software Archaeology: Exploring Software Architecture and Design in Virtual Reality
Tools Demo Track
Adrian Hoff IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Michele Lanza Software Institute - USI, Lugano
Media Attached
14:09
9m
Talk
MicroOps: Rapid Microservice Data Simulation and AIOps Model Development Platform
Tools Demo Track
Yuewei Li Beijing University of Posts and Telecommunications, Zhigang Wang Beijing University of Posts and Telecommunications, Qi Qi , Yuhan Jing Beijing University of Posts and Telecommunications, Jinming Wu Beijing University of Posts and Telecommunications, Zhikang Wu Beijing University of Post and Telecomunications, Yan Lu Beijing University of Posts and Telecommunications., Chengsen Wang Beijing University of Posts and Telecommunications, Xingyu Wang Beijing University of Posts and Telecommunications, Jingyu Wang
14:18
9m
Talk
gFaaS: Enabling Generic Functions in Serverless Computing
Tools Demo Track
Mohak Chadha Chair of Computer Architecture and Parallel Systems, Technical University of Munich, Paul Wieland Technical University of Munich, Michael Gerndt TUM
14:27
9m
Talk
PMDET: Automated Detection Tool of Android Parcel Mismatch
Tools Demo Track
Yunfan Zhan Shanghai Jiao Tong University, Qidan He Jingdong Group, Yijun Wang Shanghai Jiao Tong University, Xiuzhen Chen Shanghai Jiao Tong University
14:36
9m
Talk
LogLead - Fast and Integrated Log Loader, Enhancer, and Anomaly Detector
Tools Demo Track
Mika Mäntylä University of Helsinki and University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki
Pre-print Media Attached
14:45
9m
Talk
Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs
Tools Demo Track
Céline Deknop UCLouvain, Johan Fabry Raincode Labs, Belgium, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Vadim Zaytsev University of Twente, Netherlands
Link to publication Media Attached
14:54
9m
Talk
SMEAGOL: A Static Code Smell Detector for MongoDB
Tools Demo Track
Boris Cherry University of Namur, Csaba Nagy Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano, Anthony Cleve University of Namur
15:03
9m
Talk
Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents
Tools Demo Track
Rio Kishimoto Osaka University, Tetsuya Kanda Osaka University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Yoshiki Higo Osaka University
15:12
9m
Talk
CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts
Tools Demo Track
Libin Xia Peking University, Jiashuo Zhang Peking University, China, Che Wang , Zezhong Tan Peking University, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen
15:21
9m
Talk
Generative Artificial Intelligence for Test-Driven Development: GAI4-TDD
Tools Demo Track
Pietro Cassieri University of Salerno, Simone Romano University of Salerno, Giuseppe Scanniello University of Salerno

Fri 15 Mar

Displayed time zone: Athens change

14:00 - 15:30
Software SecurityResearch Papers / Tools Demo Track at KURU
Chair(s): Andrea Janes Free University of Bozen-Bolzano
14:00
15m
Talk
Multiple Targets Directed Greybox Fuzzing: From Reachable to Exploited
Research Papers
Xinglin Yu Beijing University of Posts and Telecommunications, Hongliang Liang beijing university of posts and telecommunication, Chunlin Wang Beijing University of Posts and Telecommunications
14:15
15m
Talk
TLS-DeepDiffer: Message Tuples-Based Deep Differential Fuzzing for TLS Protocol Implementations
Research Papers
Zhen Zhao Shandong University, Xiangpu Song Shandong University, Qiuyu Zhong Shandong University, Yingpei Zeng Hangzhou Dianzi University, Chengyu Hu Shandong University, Shanqing Guo Shandong University
14:30
15m
Talk
SWAT4J: Generating System Call Allowlist for Java Container Attack Surface
Research Papers
Yijiang Xu Peking University, Muxian Zhou Peking University, Qing Gao Peking University, Shikun Zhang Peking University, Zhonghai Wu Peking University
14:45
15m
Talk
Dual Prompt-Based Few-Shot Learning for Automated Vulnerability Patch Localization
Research Papers
Junwei Zhang Zhejiang University, Xing Hu Zhejiang University, Lingfeng Bao Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University
15:00
15m
Talk
How Dataflow Diagrams Impact Software Security Analysis: an Empirical Experiment
Research Papers
Simon Schneider Hamburg University of Technology, Nicolás E. Díaz Ferreyra Hamburg University of Technology, Pierre-Jean Quéval University of Vienna, Georg Simhandl University of Vienna, Uwe Zdun University of Vienna, Riccardo Scandariato Hamburg University of Technology
15:15
15m
Talk
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions
Research Papers
Yuxi Ling National University of Singapore, Yun Hao National University of Singapore, Yuyan Wang Fujian Normal University, Kailong Wang Huazhong University of Science and Technology, Guangdong Bai The University of Queensland, Jin Song Dong National University of Singapore
15:30
7m
Talk
CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts
Tools Demo Track
Libin Xia Peking University, Jiashuo Zhang Peking University, China, Che Wang , Zezhong Tan Peking University, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen