Publications

2021

• 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
• SpecFuzz: Bringing Spectre-type vulnerabilities to the surfaceOleksenko, O., Trach, B., Silberstein, M. & Fetzer, C., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TEEMon: A Continuous Performance Monitoring Framework for TEEsKrahn, R., Dragoti, D., Gregor, F., Quoc, D. L., Schiavoni, V., Felber, P., Souza, C. & 2 others, 2020, p. 178–192Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• T-Lease: A Trusted Lease Primitive for Distributed SystemsTrach, B., Faqeh, R., Oleksenko, O., Ozga, W., Bhatotia, P. & Fetzer, A. C., 2020, Proceedings of the 11th ACM Symposium on Cloud Computing (SoCC ’20). New York, NY, USA: Association for Computing Machinery, Inc, p. 387-400Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution