Christof Fetzer
Technische Universität Dresden
H-index: 56
Europe-Germany
Top articles of Christof Fetzer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Capacity planning for dependable services | Theoretical Computer Science | Rasha Faqeh André Martin Valerio Schiavoni Pramod Bhatotia Pascal Felber | 2023/10/17 |
Device and method for computer-aided processing of data | 2023/10/10 | ||
Confidential computing and related technologies: a critical review | Muhammad Usama Sardar Christof Fetzer | 2023/5/2 | |
LLD: A Last-Level Defense for Application Integrity and Confidentiality | Gabriel P Fernandez Andrey Brito Ardhi Putra Pratama Hartono Muhammad Usama Sardar Christof Fetzer | 2023/12/4 | |
Adaptive thermal model for structure model based correction | Xaver Thiem Holger Rudolph Robert Krahn Steffen Ihlenfeldt Christof Fetzer | 2023/3/21 | |
Trustworthy confidential virtual machines for the masses | Anna Galanou Khushboo Bindlish Luca Preibsch Yvonne-Anne Pignolet Christof Fetzer | 2023/11/27 | |
SinClave: Hardware-assisted Singletons for TEEs | Franz Gregor Robert Krahn Do Le Quoc Christof Fetzer | 2023/11/27 | |
PCRAFT: capacity planning for dependable stateless services | arXiv preprint arXiv:2206.07368 | Rasha Faqeh Andrè Martin Valerio Schiavoni Pramod Bhatotia Pascal Felber | 2022/6/15 |
Formal Foundations for SCONE Attestation | Muhammad Usama Sardar Christof Fetzer | 2022/6/1 | |
Chors: Hardening high-assurance security systems with trusted computing | Wojciech Ozga Rasha Faqeh Do Le Quoc Franz Gregor Silvio Dragone | 2022/4/25 | |
A sorted datalog hammer for supervisor verification conditions modulo simple linear arithmetic | Martin Bromberger Irina Dragoste Rasha Faqeh Christof Fetzer Larry González | 2022/3/30 | |
Revizor: Testing black-box CPUs against speculation contracts | Oleksii Oleksenko Christof Fetzer Boris Köpf Mark Silberstein | 2022 | |
Matee: Multimodal attestation for trusted execution environments | Anna Galanou Franz Gregor Rüdiger Kapitza Christof Fetzer | 2022/11/7 | |
A datalog hammer for supervisor verification conditions modulo simple linear arithmetic | Martin Bromberger Irina Dragoste Rasha Faqeh Christof Fetzer Markus Krötzsch | 2021/9/1 | |
Credentials as a service providing self sovereign identity as a cloud service using trusted execution environments | Hira Siddiqui Mujtaba Idrees Ivan Gudymenko Christof Fetzer | 2021/10/4 | |
Perun: Secure multi-stakeholder machine learning framework with GPU support | arXiv preprint arXiv:2103.16898 | Wojciech Ozga Do Le Quoc Christof Fetzer | 2021/3/31 |
Transient Execution of Non-Canonical Accesses | arXiv preprint arXiv:2108.10771 | Saidgani Musaev Christof Fetzer | 2021/8/24 |
Secfl: Confidential federated learning using tees | arXiv preprint arXiv:2110.00981 | Do Le Quoc Christof Fetzer | 2021/10/3 |
SGXTuner: Performance Enhancement of Intel SGX Applications Via Stochastic Optimization | IEEE Transactions on Dependable and Secure Computing | Giovanni Mazzeo Sergei Arnautov Christof Fetzer Luigi Romano | 2021/3/8 |
Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support | Wojciech Ozga Do Le Quoc Christof Fetzer | 2021/7/14 |