Brussels / 1 & 2 February 2020

schedule

K.4.601


Day Start End Track(s)
Saturday 10:30 18:55 Hardware-aided Trusted Computing, Open Source Firmware, BMC and Bootloader
Sunday 09:00 16:55 Microkernels and Component-based OS
09 10 11 12 13 14 15 16 17 18
Saturday Opening Introduction to the CoSMIX Compiler
Compiler-based techniques for secure memory instrumentation in enclaves
Be secure with Rust & Intel SGX The Confidential Consortium Framework
A framework to build secure, highly available, and performant applications that focus on multi-party compute and data
EActors: an actor-based programming framework for Intel SGX A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes HOWTO build a product with OP-TEE Demo: SGX-LKL
Running unmodified Linux applications inside Intel SGX's enclaves
Open source UEFI and TianoCore Discover UEFI with U-Boot Heads OEM device ownership/reownership : A tamper evident approach to remote integrity attestation
Current status and future plan : A call for collaboration
Improving the Security of Edge Computing Services
Update status of the support for AMD processors
Introducing AUTOREV
An automatic reverse-engineering framework for firmware BLOBs
Look at ME!
Intel ME firmware investigation
Capsule Update & LVFS: Improving system firmware updates
Improving reliability and security by simplifying distribution of firmware updates
Opening Intel Server firmware based on OpenBMC example
Sunday seL4 Microkernel Status Update M³: Taking Microkernels to the Next Level HelenOS in the Year of the Pig Linux Kernel Library
A Library Version of Linux Kernel
Phantom OS
Orthogonal Persistence-based OS Intro and Design Concepts
Gneiss: A Nice Component Framework in SPARK A Component-based Environment for Android Apps Demonstration of the Sculpt Operating System A Brief Survey through Genode's ARMv8 Playground NOVA Microhypervisor on ARMv8-A The HIPPEROS RTOS
A Song of Research and Development
Unikraft: A Unikernel Toolkit VUOS: Give Your Processes a New VU

Events

Title Track Start End

Saturday

  Opening Hardware-aided Trusted Computing 10:30 10:40
  Introduction to the CoSMIX Compiler
Compiler-based techniques for secure memory instrumentation in enclaves
Hardware-aided Trusted Computing 10:40 11:10
  Be secure with Rust & Intel SGX Hardware-aided Trusted Computing 11:15 11:45
  The Confidential Consortium Framework
A framework to build secure, highly available, and performant applications that focus on multi-party compute and data
Hardware-aided Trusted Computing 11:50 12:20
  EActors: an actor-based programming framework for Intel SGX Hardware-aided Trusted Computing 12:25 12:55
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes Hardware-aided Trusted Computing 13:00 13:30
  HOWTO build a product with OP-TEE Hardware-aided Trusted Computing 13:35 14:05
  Demo: SGX-LKL
Running unmodified Linux applications inside Intel SGX's enclaves
Hardware-aided Trusted Computing 14:10 14:30
  Open source UEFI and TianoCore Open Source Firmware, BMC and Bootloader 15:00 15:25
  Discover UEFI with U-Boot Open Source Firmware, BMC and Bootloader 15:30 15:55
  Heads OEM device ownership/reownership : A tamper evident approach to remote integrity attestation
Current status and future plan : A call for collaboration
Open Source Firmware, BMC and Bootloader 16:00 16:25
  Improving the Security of Edge Computing Services
Update status of the support for AMD processors
Open Source Firmware, BMC and Bootloader 16:30 16:55
  Introducing AUTOREV
An automatic reverse-engineering framework for firmware BLOBs
Open Source Firmware, BMC and Bootloader 17:00 17:25
  Look at ME!
Intel ME firmware investigation
Open Source Firmware, BMC and Bootloader 17:30 17:55
  Capsule Update & LVFS: Improving system firmware updates
Improving reliability and security by simplifying distribution of firmware updates
Open Source Firmware, BMC and Bootloader 18:00 18:25
  Opening Intel Server firmware based on OpenBMC example Open Source Firmware, BMC and Bootloader 18:30 18:55

Sunday

  seL4 Microkernel Status Update Microkernels and Component-based OS 09:00 09:50
  M³: Taking Microkernels to the Next Level Microkernels and Component-based OS 10:00 10:35
  HelenOS in the Year of the Pig Microkernels and Component-based OS 10:40 10:55
  Linux Kernel Library
A Library Version of Linux Kernel
Microkernels and Component-based OS 11:00 11:25
  Phantom OS
Orthogonal Persistence-based OS Intro and Design Concepts
Microkernels and Component-based OS 11:30 11:55
  Gneiss: A Nice Component Framework in SPARK Microkernels and Component-based OS 12:00 12:25
  A Component-based Environment for Android Apps Microkernels and Component-based OS 12:30 12:55
  Demonstration of the Sculpt Operating System Microkernels and Component-based OS 13:00 13:50
  A Brief Survey through Genode's ARMv8 Playground Microkernels and Component-based OS 14:00 14:25
  NOVA Microhypervisor on ARMv8-A Microkernels and Component-based OS 14:30 15:20
  The HIPPEROS RTOS
A Song of Research and Development
Microkernels and Component-based OS 15:30 15:55
  Unikraft: A Unikernel Toolkit Microkernels and Component-based OS 16:00 16:25
  VUOS: Give Your Processes a New VU Microkernels and Component-based OS 16:30 16:55