Loading…
1 - 3 September | Vancouver, Canada BC
View More Details & Registration
The schedule is subject to change, so please check back before the event for the most up-to-date information.

Please note that all session times are listed below in Pacific Daylight Time (PDT), UTC-7.
avatar for June Andronick

June Andronick

Proofcraft and seL4 Foundation
CEO
RB

Ryan Barry

Proofcraft
Proof Engineer
avatar for Nils Brand

Nils Brand

Fraunhofer IESE
Research & Business Development
avatar for Scott Brookes

Scott Brookes

Riverside Research
Associate Director
SC

Stuart Card

Critical Technologies Inc.
avatar for Darren Cofer

Darren Cofer

Collins Aerospace
Principal Fellow
avatar for Peter Davies

Peter Davies

Thales
Director - Security Concepts
avatar for Martin Dehnel-Wild

Martin Dehnel-Wild

Kry10
Chief Scientist
avatar for David Hardin

David Hardin

Collins Aerospace
Chief Technologist, Applied Research and Technology
JH

John Hatcliff

Kansas State University
Professor
avatar for Gernot Heiser

Gernot Heiser

UNSW Sydney
Scientia Professor
avatar for Ihor Kuz

Ihor Kuz

Kry10
Principal Engineer
DL

david lide

trusted science and technology
director of engineering
avatar for Jonathan Marshall

Jonathan Marshall

SafeShark
Business Development Director
LM

Liam Murphy

UNSW Sydney
MPhil Student
BN

Bill Nguyen

University of New South Wales
Operating Systems Engineer
avatar for Peter

Peter "Gus" O'Hanley

Galois
Research Engineer
avatar for Anjana Rajan

Anjana Rajan

Atalanta
CEO & Co-Founder
LR

Lesley Rossouw

UNSW Sydney (Trustworthy Systems)
Operating Systems Engineer
AR

Andrew Ruef

Institute for Defense Analyses
PS

Philipp Scholl

ABB Corporate Research
avatar for Daniel Schwyn

Daniel Schwyn

Neutrality
Senior Engineer
avatar for James Sharp

James Sharp

Dstl
Senior Principal Scientist
YS

Yanyan Shen

NIO
Software Architect
BS

Biruk Sintayehu

Trusted Science & Technology
avatar for Rob Sison

Rob Sison

UNSW
Senior Research Associate
NS

Nick Spinale

Colias Group
avatar for Nathan Studer

Nathan Studer

Dornerworks
Technical Strategy Lead
avatar for David Swasey

David Swasey

Riverside Research
Senior Research Scientist – Formal Methods
MT

Miki Tanaka

UNSW
Senior Proof Engineer
avatar for Robert VanVossen

Robert VanVossen

DornerWorks
seL4 Technical Lead
AW

Adam W1

NCSC
Lead Verification Researcher
AW

Alexander Weidinger

Fraunhofer AISEC
Researcher
avatar for Alistair Woodman

Alistair Woodman

Erlang Ecosystem Foundation (EEF)
Board Member
avatar for Guangtao Zhu

Guangtao Zhu

UNSW Sydney
Research Student
IZ

Indan Zupancic

seL4 foundation
Computer Programmer
Share Modal

Share this link via

Or copy link