Sundas Munir

According to our database, Sundas Munir authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Pre-deployment Analysis of Smart Contracts

Sundas Munir

PhD thesis, 2024

Static Detection of Missing Validations in Solidity Smart Contracts.

Sundas Munir, Walid Taha, Mirza Sanam Iqbal Baig

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

Statically Checking Transaction Ordering Dependency in Ethereum Smart Contracts.

Sundas Munir, Walid Taha

Proceedings of the 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2024

2023

Pre-deployment Analysis of Smart Contracts - A Survey.

Sundas Munir, Walid Taha

CoRR, 2023

TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts.

Sundas Munir, Christoph Reichenbach

Proceedings of the 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2023

Statically Checking Missing Input Validations in Solidity Smart Contracts - A Case Study.

Sundas Munir, Mirza Sanam Iqbal Baig, Mah Noor, Syeda Hina Murad

Proceedings of the IEEE International Conference on Blockchain, 2023