Confidential computing and related technologies: a critical review von Sardar, Muhammad Usama, Fetzer, Christof

Volltext

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification von Sardar, Muhammad Usama, Musaev, Saidgani, Fetzer, Christof

Volltext

Cost-based Virtual Machine Scheduling for Data-as-a-Service von Oliveira, Ana Cristina Alves de, Spohn, Marco Aurélio, Fetzer, Christof, Do, Le Quoc, Martin, André

Volltext

How to Become a Software Company von Ebert, Christof, Fetzer, Joachim, Ebert, Christof

Volltext

Perfect failure detection in timed asynchronous systems von Fetzer, C.

Volltext

SGXTuner: Performance Enhancement of Intel SGX Applications via Stochastic Optimization von Mazzeo, Giovanni, Arnautov, Sergei, Fetzer, Christof, Romano, Luigi

Volltext

Time-Based Software Transactional Memory von Felber, Pascal, Fetzer, Christof, Marlier, Patrick, Riegel, Torvald

Volltext

Secure end-to-end processing of smart metering data von Brito, Andrey, Fetzer, Christof, Köpsell, Stefan, Pietzuch, Peter, Pasin, Marcelo, Felber, Pascal, Fonseca, Keiko, Rosa, Marcelo, Gomes, Luiz, Riella, Rodrigo, Prado, Charles, Rust, Luiz F., Lucani, Daniel E., Sipos, Márton, Nagy, László, Fehér, Marcell

Volltext

The timed asynchronous distributed system model von Cristian, F., Fetzer, C.

Volltext

Federated and secure cloud services for building medical image classifiers on an intercontinental infrastructure von Blanquer, Ignacio, Brasileiro, Francisco, Brito, Andrey, Calatrava, Amanda, Carvalho, André, Fetzer, Christof, Figueiredo, Flavio, Guimarães, Ronny Petterson, Marinho, Leandro, Meira, Wagner, Silva, Altigran, Alberich-Bayarri, Ángel, Camacho-Ramos, Eduardo, Jimenez-Pastor, Ana, Ribeiro, Antonio Luiz L., Nascimento, Bruno Ramos, Silva, Fábio

Volltext

Revizor: Testing Black-Box CPUs Against Speculation Contracts von Oleksenko, Oleksii, Fetzer, Christof, Kopf, Boris, Silberstein, Mark

Volltext

PrivApprox: Privacy-Preserving Stream Analytics von Do Le Quoc, Beck, Martin, Bhatotia, Pramod, Chen, Ruichuan, Fetzer, Christof, Strufe, Thorsten

Volltext

Capacity planning for dependable services von Faqeh, Rasha, Martin, André, Schiavoni, Valerio, Bhatotia, Pramod, Felber, Pascal, Fetzer, Christof

Volltext

PrivApprox: Privacy-Preserving Stream Analytics: Extended Abstract von Le Quoc, Do, Beck, Martin, Bhatotia, Pramod, Chen, Ruichuan, Fetzer, Christof, Strufe, Thorsten

Volltext

Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack von Oleksenko, Oleksii, Kuvaiskii, Dmitrii, Bhatotia, Pramod, Felber, Pascal, Fetzer, Christof

Volltext

Resiliency-aware data management von Boehm, Matthias, Lehner, Wolfgang, Fetzer, Christof

Volltext

Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support von Ozga, Wojciech, Quoc, Do Le, Fetzer, Christof

Volltext

A highly available local leader election service von Fetzer, C., Cristian, F.

Volltext

Extensible transactional memory testbed von Harmanci, Derin, Gramoli, Vincent, Felber, Pascal, Fetzer, Christof

Volltext

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph

Volltext