Write a Blog >>
Tue 21 Jan 2020 10:30 - 12:30 at Orpheus - Working Sessions I

These parallel breakout sessions will invite participants to explore and share knowledge on topics identified in pre-event engagement and planning. Session facilitators will briefly introduce the objective of each session, and participants may then elect to join the session of their choice. Based on pre-event input from participants, sessions anticipated to be on the agenda include: * Formal specification and verification of system level components (e.g. micro-kernels, hypervisors). * Formal techniques for designing, implementing and verifying mechanisms for security and privacy. * Formal techniques for specifying and verifying hardware components to support security and privacy. * Requirements for a better systems programming language that is amenable to formal verification. * Programming language technology and verification tools to facilitate the design, implementation and verification of systems designed to better support security and privacy. * Formalizations of existing mechanisms for secure computing (e.g. SGX). * Rust formalization

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Working Sessions IHASE at Orpheus
Working Sessions I
Ben Laurie Google Research, Hong-Seok Kim , Jonathan Protzenko Microsoft Research, Redmond