Confidential Computing Mini Summit at Open Source Summit Europe 2023
2023-09-18
Bilbao, Spain
who it's for
security researchers, platform engineers, cloud architects, vulnerability analysts, cryptographers, open source maintainers
topics
ARM CCA attestation; Intel TDX verification; attested TLS integration; vTPM verification; federated learning with homomorphic encryption; secure aggregation schemes; MPC inside TEEs; side-channel monitor/mwait attacks; PCI Screamer fuzzing tool; SGX factory correlated randomness; switchless enclave optimization; multi-architecture confidential SDK
| title | author | length |
|---|---|---|
| Formal specification of attestation mechanisms in Confidential Computing | Muhammad Usama Sardar | 39m |
Formal symbolic models and mechanized checks produce reusable verification primitives that cover provisioning, initialization and attestation phases for ARM… | ||
| Wrap Up | Mike Bursell | 03m |
Sessions show growing maturity and detailed work, with attendees from Huawei, the West Coast, Europe and at least one person from South America (none from… | ||
| Use case deep dive: Secure and privacy-preserving cyber threat intelligence exchange | Nicolae Paladi | 26m |
Claims a practical stack: federated learning with homomorphic encryption for per-organization confidentiality plus confidential computing to protect… | ||
| Securing the Unseen: Vulnerability Research in Confidential Computing | Josh Eads | 33m |
A white-box review finds over 30 vulnerabilities across AMD and Intel, fixed and published; TDX 1.0 review (simulator) yields 4 TDX-module bugs and an… | ||
| Introductions | Paul O’Neil | 11m |
Overview of claimed progress and gaps: hardware features like SGX and SEV and planned IR accelerators to GPUs ship or are roadmaped, but usability and workload… | ||
| PETs of the world unite! Conquer the middle ground in the performance vs... | Dr. Sven Trieflinger | 37m |
Combines MPC and confidential computing by running Carbine Stack inside Edgeless Constellation VMs and by replacing expensive MPC offline crypto with an… | ||
| secGear: openEuler native confidential computing framework | Zhenyu Zheng | 27m |
secGear is an openEuler-native confidential computing stack that ships a multi-architecture SDK (x86, ARM, RISC‑V) and a unified API so one code path targets… | ||
| nothing matches | ||