Seguir
Muhammad Usama Sardar
Título
Citado por
Citado por
Ano
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
M Mohsin, MU Sardar, O Hasan, Z Anwar
IEEE Access 5, 5494-5505, 2017
742017
Demystifying attestation in intel trust domain extensions via formal verification
MU Sardar, S Musaev, C Fetzer
IEEE Access 9, 83067-83079, 2021
232021
Statistical model checking of relief supply location and distribution in natural disaster management
S Iqbal, MU Sardar, FK Lodhi, O Hasan
International journal of disaster risk reduction 31, 1043-1053, 2018
222018
Formal Foundations for Intel SGX Data Center Attestation Primitives
MU Sardar, R Faqeh, C Fetzer
International Conference on Formal Engineering Methods (ICFEM), 2021
172021
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX
MU Sardar, DL Quoc, C Fetzer
Euromicro Conference on Digital System Design, 2020
172020
Theorem Proving Based Formal Verification of Distributed Dynamic Thermal Management Schemes
MU Sardar, O Hasan, M Shafique, J Henkel
Journal of Parallel and Distributed Computing 100, 157-171, 2017
112017
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
MU Sardar, O Hasan
arXiv preprint arXiv:1703.06578, 2017
92017
Probabilistic formal verification of the SATS concept of operation
MU Sardar, N Afaq, KA Hoque, TT Johnson, O Hasan
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
82016
Confidential computing and related technologies: a critical review
MU Sardar, C Fetzer
Cybersecurity 6 (1), 10, 2023
52023
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems
MU Sardar, C Dubslaff, S Klüppelholz, C Baier, A Kumar
European Workshop on Performance Engineering, 133-147, 2019
42019
Understanding Trust Assumptions for Attestation in Confidential Computing
MU Sardar
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022
32022
SoK: Attestation in Confidential Computing
MU Sardar, T Fossati, S Frost
22022
Confidential Computing and Related Technologies: A Review
MU Sardar, C Fetzer
22021
Formal Foundations for SCONE Attestation
MU Sardar, C Fetzer
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022
12022
Formal verification of demand response based home energy management systems in smart grids
AY Salik, MU Sardar, O Hasan, SR Hasan, F Awwad
2017 IEEE Innovative Smart Grid Technologies-Asia (ISGT-Asia), 1-6, 2017
12017
Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm CCA and Intel TDX
MU Sardar, T Fossati, S Frost, S Xiong
IEEE Access, 2023
2023
A Last-Level Defense for Application Integrity and Confidentiality
GP Fernandez, A Brito, APP Hartono, MU Sardar, C Fetzer
arXiv preprint arXiv:2311.06154, 2023
2023
Formal Foundations for SCONE attestation and Intel SGX Data Center Attestation Primitives
MU Sardar, C Fetzer
2021
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures
M Akmal, MS Saeed, MU Sardar, H Shafi, O Hasan, H Khdr, J Henkel
2020 21st International Symposium on Quality Electronic Design (ISQED), 421-425, 2020
2020
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)
MU Sardar, N Afaq, O Hasan, KA Hoque
Journal of Automated Reasoning 60, 85-105, 2018
2018
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20