A secure and optimized mobile payment framework with formal verification. - Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata (SECURIT, 2012)

A Secure Mobile Wallet Framework with Formal Verification. - Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata (Int. J. Adv. Pervasive Ubiquitous Comput., 2012)

Secure and Optimized Mobile Based Merchant Payment Protocol using Signcryption. - Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata (Int. J. Inf. Secur. Priv., 2012)

A Secure Lightweight and Scalable Mobile Payment Framework. - Shaik Shakeel Ahamad; Siba K. Udgata; Madhusoodhnan Nair (FICTA, 2013)

A Secure Mobile Payment Framework in MANET Environment. - Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata (Int. J. E Bus. Res., 2013)

Secure mobile payment framework based on UICC with formal verification. - Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata (Int. J. Comput. Sci. Eng., 2014)

A Secure and Optimized Proximity Mobile Payment Framework with Formal Verification. - Shaik Shakeel Ahamad; V. N. Sastry; Siba K. Udgata (Int. J. E Serv. Mob. Appl., 2014)

A Secure and Lightweight Protocol for Mobile DRM Based on DRM Community Cloud (DCC). - Hisham M. Alsaghier; Shaik Shakeel Ahamad; Siba K. Udgata; L. S. S. Reddy (FICTA (1), 2016)

A novel chaotic hash-based attribute-based encryption and decryption on cloud computing. - Lakshmi Naga Divya Tamma; Shaik Shakeel Ahamad (Int. J. Electron. Secur. Digit. Forensics, 2018)

A Secure Robust and Privacy Enhanced Mobile Healthcare Framework. - Hisham M. Alsaghier; Shaik Shakeel Ahamad (Int. J. Web Serv. Res., 2018)

Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification. - Shaik Shakeel Ahamad; Al-Sakib Khan Pathan (Complex Adapt. Syst. Model., 2019)

A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic. - Shaik Shakeel Ahamad; Al-Sakib Khan Pathan (Connect. Sci., 2021)

A Novel NFC-Based Secure Protocol for Merchant Transactions. - Shaik Shakeel Ahamad (IEEE Access, 2022)

A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification. - Shaik Shakeel Ahamad; Mohammed Alshehri; Ismail Keshta (IEEE Access, 2022)

Machine Learning-Based Life Expectancy Prediction in Developed and Developing Regions. - Shaik Shakeel Ahamad; K. Praveen Kumar; Sankuratri Sri Ganesh; Fayez Alharbi; Sultan Awad Alharby; Venkata S. P. Dendukuri; Suvarna Vani Koneru (IEEE Access, 2025)