Sundas Munir

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Ubiquitous Environments

Input Variables

Business Transactions

Partial Ordering

Top Venues

Publications

Sundas Munir, Walid Taha
Pre-deployment Analysis of Smart Contracts - A Survey. CoRR (2023)
Sundas Munir, Mirza Sanam Iqbal Baig, Mah Noor, Syeda Hina Murad
Statically Checking Missing Input Validations in Solidity Smart Contracts - A Case Study. Blockchain (2023)
Sundas Munir, Christoph Reichenbach
TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts. WETSEB (2023)