Muhammad Usama Sardar

Statistics

Publications

Citations

172

H-Index

Active since

2016

Affiliations

National University of Sciences and Technology(Current)

Technische Universität Dresden

Muhammad Usama Sardar is an author at National University of Sciences and Technology specializing in computer science, computing, and deductive verification.

ORCID

Publications per year

2016–2023

Publications

<italic>IoTRiskAnalyzer</italic>: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan et al. · IEEE Access · 2017 · 53 citations · Full text

Computing, Cybersecurity, Systems Engineering +17

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification

Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer · IEEE Access · 2021 · 41 citations · Full text

Computing, Computer Engineering, Computer Science +15

Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX

Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer · 2020 · 23 citations

Computing, Computer Engineering, Computer Science +13

Statistical model checking of relief supply location and distribution in natural disaster management

Sohaiba Iqbal, Muhammad Usama Sardar, Osman Hasan · International Journal of Disaster Risk Reduction · 2018 · 20 citations

Management, Disaster Planning, Risk Management +16

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique et al. · Journal of Parallel and Distributed Computing · 2016 · 13 citations

Computing, Computer Science, Computer Systems +12

1–5 of 7