ICST 2024
Mon 27 - Fri 31 May 2024 Canada

This program is tentative and subject to change.

Tue 28 May 2024 12:07 - 12:30 at Room 2 - Session 2 (Papers 2)

Smart contracts are programs that are deployed on blockchain to automate the agreements among users. It is hard to fix a security vulnerability once a smart contract is deployed. Vulnerabilities in smart contracts have raised a lot of concerns. Many automated solutions are proposed to identify these vulnerabilities. Supervised machine learning algorithms require historical data to detect vulnerabilities. These solutions will not work if the historical data for a vulnerability in question is not available. To address this problem, we have proposed to use the historical data of another vulnerability. We identify similar features among the vulnerabilities and use them to build the models. The built models are used to test smart contracts with the type of vulnerability that does not have the historical data. We have conducted experiments on 4 datasets and find that worst case F1 score is 73% and the best case is 93% and mostly F1 score was more than 80%.

This program is tentative and subject to change.

Tue 28 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 2 (Papers 2)AIST at Room 2
11:00
22m
Talk
"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs
AIST
Sol Zilberman Michigan State University, Betty H.C. Cheng Michigan State University
11:22
22m
Talk
An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
AIST
Md Asif Khan Ontario Tech University, Akramul Azim Ontario Tech University, Ramiro Liscano Ontario Tech University, Kevin Smith International Business Machines Corporation (IBM), Yee-Kang Chang International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM), Gkerta Seferi International Business Machines Corporation (IBM)
11:45
22m
Talk
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
AIST
Gaadha Sudheerbabu Åbo Akademi University, Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University, Jüri Vain Tallinn University of Technology, Estonia, Ivan Porres Åbo Akademi University
12:07
22m
Talk
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts
AIST
Hajra Naeem Toronto Metropolitan University, Manar H. Alalfi