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

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

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

Volltext

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

Volltext

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

Volltext

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

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

Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support von Ozga, Wojciech, Quoc, Do Le, 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

Formal Foundations for Intel SGX Data Center Attestation Primitives von Sardar, Muhammad Usama, Faqeh, Rasha, Fetzer, Christof

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

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

Volltext

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

Volltext

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

Volltext

Compliance, Functional Safety and Fault Detection by Formal Methods von Fetzer, Christof, Weidenbach, Christoph, Wischnewski, Patrick

Volltext

Message from the DCCS program chair von Fetzer, Christof

Volltext

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

Volltext

A Lazy Snapshot Algorithm with Eager Validation von Riegel, Torvald, Felber, Pascal, Fetzer, Christof

Volltext