Sound analysis and migration of data from Ethereum smart contracts. - Maha Ayub; Muhammad Waiz Khan; Muhammad Umar Janjua (Autom. Softw. Eng., 2024)

Short Paper: SlotCollider - Detecting Storage Slot Collisions in Ethereum Smart Contracts. - Muhammad Umar Janjua; Abeeha Fatima; Muhammad Waiz Khan; Muhammad Danish Bilal; Talha Ahmad; Maha Ayub (CVCBT, 2025)