Confidential Computing Meetup Fall 2021


Details
======= README =======
Streaming URL: under Online Event in the meetup details.
Password: confidentialcomputing
Welcome to another get-together meeting of the Confidential Computing user group.
AGENDA
-
Introduction (5mins)
-
Confidential Computing in Public Clouds
by Sri Yulianti (20-30mins)
--
In this talk will discuss an example of confidential computing scenario which is a design of confidential data transactions and analysis between users using TEE hardware based on Intel SGX and Occlum as its Library OS. The design is implemented by allowing two clients as data owners to share their data to a server that has Intel SGX capable platform. On the server-side, a machine learning model inference that takes the inputs from both clients is running inside an Intel SGX enclave." -
Demystifying Attestation in Intel TDX via Formal Verification
by Muhammad Usama Sardar (20-30mins)
---
Muhammad Usama Sardar is DAAD scholar in the faculty of Computer Science at TU Dresden, Germany. His current research focus is on the formal specification and verification of the remote attestation process in Trusted Execution Environments, with a special focus on Intel SGX and TDX. -
Q&A
If you want to contribute and help out, please contact the organisers, we will be glad to have you on board!
See you then!

Confidential Computing Meetup Fall 2021