Muhammad Usama Sardar

22 papers C 2Misc 1Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Separate but Together: Integrating Remote Attestation into TLS.
USENIX ATC
Carsten Weinhold, Muhammad Usama Sardar, Ionut Mihalcea, Yogesh Deshpande, Hannes Tschofenig, Yaron Sheffer, Thomas Fossati, Michael Roitzsch
2025 — conf
When to Attest? Intra- and Post-Handshake Attestation for IoT Swarms.
CSCN
Yuxuan Song, Muhammad Usama Sardar, Geovane Fedrecheski, Malisa Vucinic, Thomas Watteyne
2024 J jnl
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.
IEEE Access
Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong
2024 J jnl
Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel's RA-TLS Protocol.
IEEE Access
Muhammad Usama Sardar, Arto Niemi, Hannes Tschofenig, Thomas Fossati
2023 J jnl
A Last-Level Defense for Application Integrity and Confidentiality.
CoRR
Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer
2023 J jnl
Confidential computing and related technologies: a critical review.
Cybersecur.
Muhammad Usama Sardar, Christof Fetzer
2023 Misc conf
LLD: A Last-Level Defense for Application Integrity and Confidentiality.
UCC
Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer
2022 — conf
Formal Foundations for SCONE Attestation.
DSN (Supplements)
Muhammad Usama Sardar, Christof Fetzer
2022 — conf
Understanding Trust Assumptions for Attestation in Confidential Computing.
DSN (Supplements)
Muhammad Usama Sardar
2021 J jnl
A sketch is worth a thousand navigational instructions.
Auton. Robots
Haseeb Ahmad, Muhammad Usama Sardar, Wajahat Hussain, Muhammad Latif Anjum
2021 J jnl
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification.
IEEE Access
Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer
2020 — conf
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures.
ISQED
Moeez Akmal, Muhammad Sarmad Saeed, Muhammad Usama Sardar, Hareem Shafi, Osman Hasan, Heba Khdr, Jörg Henkel
2020 C conf
Formal Foundations for Intel SGX Data Center Attestation Primitives.
ICFEM
Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer
2020 C conf
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX.
DSD
Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer
2020 — conf
Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems.
DEBS
Muhammad Usama Sardar
2019 — conf
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
EPEW
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
2018 J jnl
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
J. Autom. Reason.
Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque
2017 — conf
Formal verification of demand response based home energy management systems in smart grids.
ISGT Asia
Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan, Falah Awwad
2017 J jnl
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things.
IEEE Access
Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, Zahid Anwar
2017 J jnl
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes.
J. Parallel Distributed Comput.
Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel
2017 — conf
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.
MARS
Muhammad Usama Sardar, Osman Hasan
2016 — conf
Probabilistic Formal Verification of the SATS Concept of Operation.
NFM
Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan