E-LIB Suche - Ergebnisse für: Sardar, Muhammad Usama

1

Formal Specification and Verification of Architecturally-De..:

Sardar, Muhammad Usama ; Fossati, Thomas ; Frost, Simon.
IEEE Access. 12 (2024) - p. 361-381 , 2024

Link: https://doi.org/10.1109/..

2

LLD: A Last-Level Defense for Application Integrity and Con..:

, In: Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing,

Fernandez, Gabriel P ; Brito, Andrey ; Hartono, Ardhi Putra Pratama.. - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

3

Confidential computing and related technologies: a critical..:

Sardar, Muhammad Usama ; Fetzer, Christof
Cybersecurity. 6 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

4

Formal Foundations for SCONE Attestation:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),

Sardar, Muhammad Usama ; Fetzer, Christof - p. 31-32 , 2022

Link: https://doi.org/10.1109/..

5

Understanding Trust Assumptions for Attestation in Confiden..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),

Sardar, Muhammad Usama - p. 49-50 , 2022

Link: https://doi.org/10.1109/..

6

Demystifying Attestation in Intel Trust Domain Extensions v..:

Sardar, Muhammad Usama ; Musaev, Saidgani ; Fetzer, Christof
IEEE Access. 9 (2021) - p. 83067-83079 , 2021

Link: https://doi.org/10.1109/..

7

Trade-off analysis of thermal-constrained scheduling strate..:

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

Sardar, Muhammad Usama - p. 222-225 , 2020

Link: https://dl.acm.org/doi/1..

8

Towards Formalization of Enhanced Privacy ID (EPID)-based R..:

, In: 2020 23rd Euromicro Conference on Digital System Design (DSD),

Sardar, Muhammad Usama ; Quoc, Do Le ; Fetzer, Christof - p. 604-607 , 2020

Link: https://doi.org/10.1109/..

9

Performance Evaluation of Thermal-Constrained Scheduling St..:

, In: Computer Performance Engineering; Lecture Notes in Computer Science,

Sardar, Muhammad Usama ; Dubslaff, Clemens ; Klüppelholz, Sascha.. - p. 133-147 , 2020

Link: https://doi.org/10.1007/..

10

Formal Foundations for Intel SGX Data Center Attestation Pr..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Sardar, Muhammad Usama ; Faqeh, Rasha ; Fetzer, Christof - p. 268-283 , 2020

Link: https://doi.org/10.1007/..

11

Comparative Framework for the Analysis of Thermal and Resou..:

, In: 2020 21st International Symposium on Quality Electronic Design (ISQED),

Akmal, Moeez ; Saeed, Muhammad Sarmad ; Sardar, Muhammad Usama... - p. 421-425 , 2020

Link: https://doi.org/10.1109/..

12

Statistical model checking of relief supply location and di..:

Iqbal, Sohaiba ; Sardar, Muhammad Usama ; Lodhi, Faiq Khalid.
International Journal of Disaster Risk Reduction. 31 (2018) - p. 1043-1053 , 2018

Link: https://doi.org/10.1016/..

13

Towards Probabilistic Formal Analysis of SATS-Simultaneousl..:

Sardar, Muhammad Usama ; Afaq, Nida ; Hasan, Osman.
Journal of Automated Reasoning. 60 (2017) 1 - p. 85-105 , 2017

Link: https://doi.org/10.1007/..

14

Theorem proving based Formal Verification of Distributed Dy..:

Sardar, Muhammad Usama ; Hasan, Osman ; Shafique, Muhammad.
Journal of Parallel and Distributed Computing. 100 (2017) - p. 157-171 , 2017

Link: https://doi.org/10.1016/..

15

A sketch is worth a thousand navigational instructions:

Ahmad, Haseeb ; Usama, Sardar Muhammad ; Hussain, Wajahat.
Autonomous Robots. 45 (2021) 2 - p. 313-333 , 2021

Link: https://doi.org/10.1007/..