Publications

2021

• Active replication for latency-sensitive stream processing in Apache FlinkRosniosky, G., Schmidt, F., Bodunov, O., Fetzer, C. & Martin, A., 2021, S. 56-66, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticBromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Krötzsch, M. & Weidenbach, C., 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], S. 3–24, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• BROFY: Towards Essential Integrity Protection for MicroservicesHartono, A. P. P. & Fetzer, C., 2021, S. 154-163, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman ProblemZain, S. & Dupressoir, F., 2021, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Modeling and Evaluating Personas with Software Explainability RequirementsRamos, H., Fonseca, M. & Ponciano, L., 2021, Human-Computer Interaction - 7th Iberoamerican Workshop, HCI-COLLAB 2021, Proceedings. Ruiz, P. H., Agredo-Delgado, V., Ruiz, P. H., Agredo-Delgado, V. & Kawamoto, A. L. (Hrsg.). Springer, Cham, Band 1478. S. 136-149, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2020

• Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGXSardar, M. U., Quoc, D. L. & Fetzer, C., April 2020, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Formal Foundations for Intel SGX Data Center Attestation PrimitivesSardar, M. U., Faqeh, R. & Fetzer, C., März 2020, S.  268–283Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Practical Approach for Updating an Integrity-Enforced Operating SystemOzga, W., Quoc, D. L. & Fetzer, C., 2020, in: Middleware '20: 21st International Middleware Conference. 2020, S. 311–325Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Exploring user profiles based on their explainability requirements in interactive systems.Louzada, H., Chaves, G. & Ponciano, L., 2020, XIX Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, S. 48:1-48:6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SecureTF: A Secure TensorFlow FrameworkQuoc, D. L., Gregor, F., Arnautov, S., Kunkel, R., Bhatotia, P. & Fetzer, C., 2020, in: Middleware '20: 21st International Middleware Conference. 2020, S. 44–59Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel