Get started
Author

Muhammad Usama Sardar

Observed name: Sardar, Muhammad Usama
ORCID: 0000-0001-7652-559X
Observed ORCID: 0000-0001-7652-559X
OpenAlex ID: A5015655552
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
2017 · Mujahid Mohsin, Muhammad Usama Sardar, et al. · IEEE Access · 53
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification
2021 · Muhammad Usama Sardar, Saidgani Musaev, et al. · IEEE Access · 51
PDF
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX
2020 · Muhammad Usama Sardar, Do Le Quoc, et al. · Euromicro Conference on Digital System Design (DSD) · 28
Confidential computing and related technologies: a critical review
2023 · Muhammad Usama Sardar, Christof Fetzer · Cybersecurity · 24
PDF
Statistical model checking of relief supply location and distribution in natural disaster management
2018 · Sohaiba Iqbal, Muhammad Usama Sardar, et al. · International Journal of Disaster Risk Reduction · 23
Formal Foundations for Intel SGX Data Center Attestation Primitives
2020 · Muhammad Usama Sardar, Rasha Faqeh, et al. · Lecture notes in computer science · 22
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX
2023 · Muhammad Usama Sardar, Thomas Fossati, et al. · IEEE Access · 19
PDF
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes
2016 · Muhammad Usama Sardar, Osman Hasan, et al. · Journal of Parallel and Distributed Computing · 13
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
2017 · Muhammad Usama Sardar, Osman Hasan · Electronic Proceedings in Theoretical Computer Science · 11
Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel’s RA-TLS Protocol
2024 · Muhammad Usama Sardar, Arto Niemi, et al. · IEEE Access · 10
Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS
2026 · Muhammad Usama Sardar, Mariam Moustafa, et al. · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 5
Probabilistic Formal Verification of the SATS Concept of Operation
2016 · Muhammad Usama Sardar, Nida Afaq, et al. · Lecture notes in computer science · 5
Understanding Trust Assumptions for Attestation in Confidential Computing
2022 · Muhammad Usama Sardar · IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) · 3
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems
2020 · Muhammad Usama Sardar, Clemens Dubslaff, et al. · Lecture notes in computer science · 3
Formal Foundations for SCONE Attestation
2022 · Muhammad Usama Sardar, Christof Fetzer · IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) · 1
Formal verification of demand response based home energy management systems in smart grids
2017 · Adnan Yaqoob Salik, Muhammad Usama Sardar, et al. · IEEE Innovative Smart Grid Technologies-Asia · 1
Intra-handshake.fail (CVE-2026-33697): High-Severity CVE in Attested TLS
2026 · Muhammad Usama Sardar, Viacheslav Dubeyko, et al. · Lecture notes in computer science
When to Attest? Intra- and Post-Handshake Attestation for IoT Swarms
2025 · Yuxuan Song, Muhammad Usama Sardar, et al. · IEEE Conference on Standards for Communications and Networking
LLD: A Last-Level Defense for Application Integrity and Confidentiality
2023 · Gabriel P Fernandez, Andrey Brito, et al. · IEEE/ACM International Conference on Utility and Cloud Computing (UCC)
PDF
Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems
2020 · Muhammad Usama Sardar · ACM International Conference on Distributed and Event-Based Systems (DEBS)
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures
2020 · Moeez Akmal, Muhammad Sarmad Saeed, et al. · International Symposium on Quality Electronic Design (ISQED)
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)
2017 · Muhammad Usama Sardar, Nida Afaq, et al. · Journal of Automated Reasoning
Works count: 26
Citation count: 272
H-index: 10
I10-index: 10
Year
Topic
Type