Shaik Shakeel Ahamad

A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic

Shaik Shakeel Ahamad, Al‐Sakib Khan Pathan · Connection Science · 2020 · 32 citations · Full text

Computing, Computer Science, Cybersecurity +16

Secure mobile payment framework based on UICC with formal verification

Shaik Shakeel Ahamad, V. N. Sastry, Siba K. Udgata · International Journal of Computational Science and Engineering · 2014 · 17 citations · Full text

Computing, Computer Science, Cybersecurity +17

Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification

Shaik Shakeel Ahamad, Al‐Sakib Khan Pathan · Complex Adaptive Systems Modeling · 2019 · 17 citations · Full text

Computing, Computer Science, Information Technology +17

A Novel NFC-Based Secure Protocol for Merchant Transactions

Shaik Shakeel Ahamad · IEEE Access · 2021 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +17

A new mobile payment system with formal verification

Shaik Shakeel Ahamad, Siba K. Udgata, V. N. Sastry · International Journal of Internet Technology and Secured Transactions · 2012 · 13 citations

Computing, Computer Science, Authentication +16