Publications

2021

• Active replication for latency-sensitive stream processing in Apache FlinkRosniosky, G., Schmidt, F., Bodunov, O., Fetzer, C. & Martin, A., 2021, p. 56-66, 11 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). Springer, Berlin [u. a.], p. 3–24, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• BROFY: Towards Essential Integrity Protection for MicroservicesHartono, A. P. P. & Fetzer, C., 2021, p. 154-163, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman ProblemZain, S. & Dupressoir, F., 2021, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > 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. (eds.). Springer, Cham, Vol. 1478. p. 136-149, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2020

• Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGXSardar, M. U., Quoc, D. L. & Fetzer, C., Apr 2020, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Formal Foundations for Intel SGX Data Center Attestation PrimitivesSardar, M. U., Faqeh, R. & Fetzer, C., Mar 2020, p.  268–283Electronic (full-text) versionResearch output: Contribution to conferences > 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, p. 311–325Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• 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, p. 48:1-48:6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, p. 44–59Electronic (full-text) versionResearch output: Contribution to journal > Conference article