Statically Checking Missing Input Validations in Solidity Smart Contracts - A Case Study. - Sundas Munir; Mirza Sanam Iqbal Baig; Mah Noor; Syeda Hina Murad (Blockchain, 2023)

TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts. - Sundas Munir; Christoph Reichenbach (WETSEB, 2023)

Pre-deployment Analysis of Smart Contracts - A Survey. - Sundas Munir; Walid Taha (CoRR, 2023)

Statically Checking Transaction Ordering Dependency in Ethereum Smart Contracts. - Sundas Munir; Walid Taha (BSCI, 2024)

Static Detection of Missing Validations in Solidity Smart Contracts. - Sundas Munir; Walid Taha; Mirza Sanam Iqbal Baig (CSR, 2024)

Pre-deployment Analysis of Smart Contracts - Sundas Munir (2024)