Application of formal methods to modelling and analysis aspects of business process reengineering
Haseeb, Junaid, Ahmad, Naveed, Malik, Saif U.R, Anjum, Adeel
Published in Business process management journal (06.04.2020)
Published in Business process management journal (06.04.2020)
Get full text
Journal Article
Towards enhanced threat modelling and analysis using a Markov Decision Process
Malik, Saif U.R., Anjum, Adeel, Moqurrab, Syed Atif, Srivastava, Gautam
Published in Computer communications (01.10.2022)
Published in Computer communications (01.10.2022)
Get full text
Journal Article
EFFORT: Energy efficient framework for offload communication in mobile cloud computing
Malik, Saif U. R., Akram, Hina, Gill, Sukhpal Singh, Pervaiz, Haris, Malik, Hassan
Published in Software, practice & experience (01.09.2021)
Published in Software, practice & experience (01.09.2021)
Get full text
Journal Article
A robust privacy preserving approach for electronic health records using multiple dataset with multiple sensitive attributes
Kanwal, Tehsin, Anjum, Adeel, Malik, Saif U.R., Sajjad, Haider, Khan, Abid, Manzoor, Umar, Asheralieva, Alia
Published in Computers & security (01.06.2021)
Published in Computers & security (01.06.2021)
Get full text
Journal Article
A Detailed Survey on Federated Learning Attacks and Defenses
Sikandar, Hira Shahzadi, Waheed, Huda, Tahir, Sibgha, Malik, Saif U. R., Rafique, Waqas
Published in Electronics (Basel) (01.01.2023)
Published in Electronics (Basel) (01.01.2023)
Get full text
Journal Article
A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification
Alam, Quratulain, Malik, Saif U. R., Akhunzada, Adnan, Choo, Kim-Kwang Raymond, Tabbasum, Saher, Alam, Masoom
Published in IEEE transactions on information forensics and security (01.06.2017)
Published in IEEE transactions on information forensics and security (01.06.2017)
Get full text
Journal Article
Cyber Physical Systems and IoT: Architectural Practices, Interoperability, and Transformation
Fatima, Iqra, Malik, Saif U. R., Anjum, Adeel, Ahmad, Naveed
Published in IT professional (01.05.2020)
Published in IT professional (01.05.2020)
Get full text
Journal Article
An efficient approach for publishing microdata for multiple sensitive attributes
Anjum, Adeel, Ahmad, Naveed, Malik, Saif U. R., Zubair, Samiya, Shahzad, Basit
Published in The Journal of supercomputing (01.10.2018)
Published in The Journal of supercomputing (01.10.2018)
Get full text
Journal Article
A cache‐based approach toward improved scheduling in fog computing
Khan, Osama Amir, Malik, Saif U. R., Baig, Faizan M., Islam, Saif Ul, Pervaiz, Haris, Malik, Hassan, Ahmed, Syed Hassan
Published in Software, practice & experience (01.12.2021)
Published in Software, practice & experience (01.12.2021)
Get full text
Journal Article
Preserving Privacy in the Internet of Vehicles (IoV): A Novel Group Leader-based Shadowing Scheme using Blockchain
Saqib, Najam U, Malik, Saif U. R., Anjum, Adeel, Syed, Madiha Haider, Moqurrab, Syed Atif, Srivastava, Gautam, Lin, Jerry Chun-Wei
Published in IEEE internet of things journal (15.12.2023)
Published in IEEE internet of things journal (15.12.2023)
Get full text
Journal Article
Dynamic task mapping for Network-on-Chip based systems
Maqsood, Tahir, Ali, Sabeen, Malik, Saif U.R., Madani, Sajjad A.
Published in Journal of systems architecture (01.08.2015)
Published in Journal of systems architecture (01.08.2015)
Get full text
Journal Article
Modeling and Analysis of the Thermal Properties Exhibited by Cyberphysical Data Centers
Malik, Saif U. R., Bilal, Kashif, Khan, Samee U., Veeravalli, Bharadwaj, Keqin Li, Zomaya, Albert Y.
Published in IEEE systems journal (01.03.2017)
Published in IEEE systems journal (01.03.2017)
Get full text
Journal Article
Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms
Malik, Saif U. R., Khan, Samee U., Srinivasan, Sudarshan K.
Published in IEEE transactions on cloud computing (01.01.2013)
Published in IEEE transactions on cloud computing (01.01.2013)
Get full text
Journal Article
Designing and Modeling of Covert Channels in Operating Systems
Yuqi Lin, Malik, Saif U. R., Bilal, Kashif, Qiusong Yang, Yongji Wang, Khan, Samee U.
Published in IEEE transactions on computers (01.06.2016)
Published in IEEE transactions on computers (01.06.2016)
Get full text
Journal Article
A User-Centric QoS-Aware Multi-Path Service Provisioning in Mobile Edge Computing
Malik, Saif U. R., Kanwal, Tehsin, Khan, Samee U., Malik, Hassan, Pervaiz, Haris
Published in IEEE access (2021)
Published in IEEE access (2021)
Get full text
Journal Article