Eman Al-qtiemat

Synthesis of Formal Specifications From Requirements for Refinement-based Real Time Object Code Verification

Mohana Asha Latha Dubasi, Zeyad A. Al-Odat, S. Srinivasan, 2019 .

Synthesis of Refinement Maps for Real-Time Object Code Verification

Zeyad A. Al-Odat, S. Srinivasan, Sana Shuja, 2020 .

Refinement Maps for Insulin Pump Control Software Safety Verification

Zeyad A. Al-Odat, S. Srinivasan, Sana Shuja, 2019 .

A modified secure hash design to circumvent collision and length extension attacks

Zeyad A. Al-Odat, S. Khan, Eman Al-qtiemat, 2022, J. Inf. Secur. Appl..

A Big Data Storage Scheme Based on Distributed Storage Locations and Multiple Authorizations

Zeyad Al-Odat, Samee Khan, Zeyad A. Al-Odat, 2019, 2019 IEEE 5th Intl Conference on Big Data Security on Cloud (BigDataSecurity), IEEE Intl Conference on High Performance and Smart Computing, (HPSC) and IEEE Intl Conference on Intelligent Data and Security (IDS).

A Secure Storage Scheme for Healthcare Data Over the Cloud Based on Multiple Authorizations

Zeyad A. Al-Odat, S. Srinivasan, Sana Shuja, 2019 .

IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring pdf

Sana Shuja, Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, 2018, ArXiv.