SANER 2024 (series) / Tools Demo Track /
CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts
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
Fri 15 Mar 2024 15:30 - 15:37 at KURU - Software Security Chair(s): Andrea Janes
Thu 14 MarDisplayed time zone: Athens change
Thu 14 Mar
Displayed time zone: Athens change
14:00 - 15:30 | |||
14:00 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 9mTalk | 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 MarDisplayed time zone: Athens change
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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 7mTalk | 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 | ||