Muhammad Usama Sardar

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Remote Attestation

Formal Verification

Resource Management

Top Venues

DSN (Supplements)

Publications

Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX. IEEE Access 12 (2024)
Muhammad Usama Sardar, Christof Fetzer
Confidential computing and related technologies: a critical review. Cybersecur. 6 (1) (2023)
Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer
A Last-Level Defense for Application Integrity and Confidentiality. CoRR (2023)
Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer
LLD: A Last-Level Defense for Application Integrity and Confidentiality. UCC (2023)
Muhammad Usama Sardar, Christof Fetzer
Formal Foundations for SCONE Attestation. DSN (Supplements) (2022)
Muhammad Usama Sardar
Understanding Trust Assumptions for Attestation in Confidential Computing. DSN (Supplements) (2022)
Haseeb Ahmad, Muhammad Usama Sardar, Wajahat Hussain, Muhammad Latif Anjum
A sketch is worth a thousand navigational instructions. Auton. Robots 45 (2) (2021)
Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification. IEEE Access 9 (2021)
Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer
Formal Foundations for Intel SGX Data Center Attestation Primitives. ICFEM (2020)
Muhammad Usama Sardar
Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems. DEBS (2020)
Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX. DSD (2020)
Moeez Akmal, Muhammad Sarmad Saeed, Muhammad Usama Sardar, Hareem Shafi, Osman Hasan, Heba Khdr, Jörg Henkel
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures. ISQED (2020)
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW (2019)
Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). J. Autom. Reason. 60 (1) (2018)
Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan, Falah Awwad
Formal verification of demand response based home energy management systems in smart grids. ISGT Asia (2017)
Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, Zahid Anwar
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things. IEEE Access 5 (2017)
Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes. J. Parallel Distributed Comput. 100 (2017)
Muhammad Usama Sardar, Osman Hasan
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. MARS@ETAPS (2017)
Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan
Probabilistic Formal Verification of the SATS Concept of Operation. NFM (2016)