Muhammad Usama Sardar

According to our database, Muhammad Usama Sardar authored at least 18 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.

Muhammad Usama Sardar, Thomas Fossati, Simon Frost, Shale Xiong

IEEE Access, 2024

2023

Confidential computing and related technologies: a critical review.

Muhammad Usama Sardar, Christof Fetzer

Cybersecur., December, 2023

A Last-Level Defense for Application Integrity and Confidentiality.

Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono, Muhammad Usama Sardar, Christof Fetzer

CoRR, 2023

2022

Formal Foundations for SCONE Attestation.

Muhammad Usama Sardar, Christof Fetzer

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Understanding Trust Assumptions for Attestation in Confidential Computing.

Muhammad Usama Sardar

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

A sketch is worth a thousand navigational instructions.

Haseeb Ahmad, Muhammad Usama Sardar, Wajahat Hussain, Muhammad Latif Anjum

Auton. Robots, 2021

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification.

Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer

IEEE Access, 2021

2020

Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures.

Moeez Akmal, Muhammad Sarmad Saeed, Muhammad Usama Sardar, Hareem Shafi, Osman Hasan, Heba Khdr, Jörg Henkel

Proceedings of the 21st International Symposium on Quality Electronic Design, 2020

Formal Foundations for Intel SGX Data Center Attestation Primitives.

Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer

Proceedings of the Formal Methods and Software Engineering, 2020

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

Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems.

Muhammad Usama Sardar

Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems, 2020

2019

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.

Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).

Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque

J. Autom. Reason., 2018

2017

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes.

Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel

J. Parallel Distributed Comput., 2017

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.

Muhammad Usama Sardar, Osman Hasan

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things.

Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, Zahid Anwar

IEEE Access, 2017

Formal verification of demand response based home energy management systems in smart grids.

Adnan Yaqoob Salik, Muhammad Usama Sardar, Osman Hasan, Syed Rafay Hasan, Falah Awwad

Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017

2016

Probabilistic Formal Verification of the SATS Concept of Operation.

Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016