Formal Foundations for SCONE Attestation (teaser)

preview_player
Показать описание
"Formal Foundations for SCONE Attestation"
IEEE/IFIP DSN 2022 Fast Abstracts
Presenter: Muhammad Usama Sardar

Muhammad Usama Sardar and Christof Fetzer
  1. DSN Conference
Рекомендации по теме
Formal Foundations for 0:01:27

Formal Foundations for SCONE Attestation (teaser)

Formal Foundations for 0:18:42

Formal Foundations for Intel SGX Data Center Attestation Primitives - Usama Sardar, TU Dresden

Signing Arbitrary Quotes 0:00:27

Signing Arbitrary Quotes for Remote Attestation

Run emotion detection 0:07:39

Run emotion detection OpenVino application insides Intel SGX enclaves using SCONE

Secure Key Management 0:39:23

Secure Key Management System Using Intel SGX Technology -English version-

ASPLOS'20 - Session 0:15:09

ASPLOS'20 - Session 11A - Occlum: Secure and Efficient Multitasking Inside a Single Enclave of ...

Understanding Trust Assumptions 0:25:01

Understanding Trust Assumptions for Attestation in Confidential Computing

ACM CODASPY '20 0:15:27

ACM CODASPY '20 - ProximiTEE: Hardened SGX Attestation by Proximity Verification

Start Your Enclaves 0:25:09

Start Your Enclaves – Building Blocks for Setting up SGX Aware Kubernetes Clusters - Mikko Yinen

USENIX Security '20 0:10:31

USENIX Security '20 - V0LTpwn: Attacking x86 Processor Integrity from Software

Intel SGX Virtualization 0:29:50

Intel SGX Virtualization on Linux and KVM by Sean Christopherson

Faulty Point Unit 0:12:34

Faulty Point Unit ABI Poisoning Attacks on Intel SGX

IEEE S&P 2023 0:45:21

IEEE S&P 2023 Short Talks

Hands-on Workshop: Confidential 1:13:34

Hands-on Workshop: Confidential Containers: Bringing Confid... Mikko Ylinen & Tobin Feldman-Fitz...

Corda with Intel 0:26:53

Corda with Intel SGX Presentation

NDSS 2017: T-SGX: 0:13:38

NDSS 2017: T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs

Customer Panel: Applying 0:32:25

Customer Panel: Applying confidential computing with Intel SGX in regulated industries | DB401

EActors: an actor-based 0:37:44

EActors: an actor-based programming framework for Intel SGX

Be secure with 0:39:52

Be secure with Rust & Intel SGX

USENIX Security '18 0:23:02

USENIX Security '18 - The Guard's Dilemma: Efficient Code-Reuse Attacks Against Intel SGX

A Practical Guide 0:55:00

A Practical Guide to Implementing NIST/CISA’s Software Bill of Materials Requirements

USENIX Security '20 0:12:15

USENIX Security '20 - CopyCat: Controlled Instruction-Level Attacks on Enclaves

USENIX Security '20 0:12:13

USENIX Security '20 - Achieving Keyless CDNs with Conclaves

Innovative Usage of 0:44:43

Innovative Usage of Intel Software Guard Extensions (SGX) — Vincent Scarlata, Intel