Imran Ashraf

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection

2021 · 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)

Many popular blockchain platforms support smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have demonstrated to lead to serious financial loss to their end users. In particular, the smart contracts on …

Using Aspect-Level Sentiments for Calling App Recommendation with Hybrid Deep-Learning Models

2022 · Applied Sciences

The rapid and wide proliferation of mobile phones has led to accelerated demand for mobile applications (apps). Consequently, a large number of mobile apps have been developed and deployed on the Google and Apple Play …

DrunkChain: Blockchain-Based IoT System for Preventing Drunk Driving-Related Traffic Accidents

2023 · Sensors

Traffic accidents present significant risks to human life, leading to a high number of fatalities and injuries. According to the World Health Organization's 2022 worldwide status report on road safety, there were 27,582 deaths linked …