E-LIB Suche - Ergebnisse für: Christof Fetzer - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

TICAL: Trusted and Integrity-protected Compilation of AppLi..:

, In: 2024 19th European Dependable Computing Conference (EDCC),

Krahn, Robert ; Paul, Nikson Kanti ; Gregor, Franz... - p. 25-32 , 2024

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

2

Adaptive Thermal Model for Structure Model Based Correction:

, In: Lecture Notes in Production Engineering; 3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023),

Thiem, Xaver ; Rudolph, Holger ; Krahn, Robert... - p. 67-82 , 2023

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

3

Capacity planning for dependable services:

Faqeh, Rasha ; Martin, André ; Schiavoni, Valerio...
Theoretical Computer Science. 976 (2023) - p. 114126 , 2023

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

4

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..

5

Trustworthy confidential virtual machines for the masses:

, In: Proceedings of the 24th International Middleware Conference,

Galanou, Anna ; Bindlish, Khushboo ; Preibsch, Luca... - p. 316-328 , 2023

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

6

Confidential computing and related technologies: a critical..:

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

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

7

Revizor: Testing Black-Box CPUs Against Speculation Contrac..:

Oleksenko, Oleksii ; Fetzer, Christof ; Köpf, Boris.
IEEE Micro. 43 (2023) 4 - p. 37-44 , 2023

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

8

Cost-based Virtual Machine Scheduling for Data-as-a-Service:

Oliveira, Ana Cristina Alves de ; Spohn, Marco Aurélio ; Fetzer, Christof..
JUCS - Journal of Universal Computer Science. 29 (2023) 12 - p. 1461-1481 , 2023

Link: https://doi.org/10.3897/..

9

Triad: Trusted Timestamps in Untrusted Environments:

, In: 2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),

Fernandez, Gabriel ; Brito, Andrey ; Fetzer, Christof - p. 169-176 , 2023

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

10

SinClave : Hardware-assisted Singletons for TEEs:

, In: Proceedings of the 24th International Middleware Conference,

Gregor, Franz ; Krahn, Robert ; Quoc, Do Le. - p. 85-97 , 2023

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

11

Towards Effective Symbolic Execution:

Nowack, Martin , 2022

Link: https://nbn-resolving.de..

12

Hardening High-Assurance Security Systems with Trusted Comp..:

Ozga, Wojciech , 2022

Link: https://nbn-resolving.de..

13

Systems Support for Trusted Execution Environments:

Trach, Bohdan , 2022

Link: https://nbn-resolving.de..

14

A Sorted Datalog Hammer for Supervisor Verification Conditi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bromberger, Martin ; Dragoste, Irina ; Faqeh, Rasha... - p. 480-501 , 2022

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

15

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/..

1-15