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.
Type: Poster Sessions clear filter
arrow_back View All Dates
Wednesday, September 2
 

12:00 PDT

Lunchtime Poster Presentations
Wednesday September 2, 2026 12:00 - 13:30 PDT
Plaza Hallway
View Poster Session Abstracts
1. Rethinking seL4 Multicore Architecture: SMP vs. Multikernel - Guangtao Zhu, UNSW Sydney

2. Binary Verification for seL4 - Nick Spinale, Colias Group

3. Updates on Confidential Computing with seL4 - Alexander Weidinger, Fraunhofer AISEC 

4. VM Composer Poster - Robert VanVossem Dornerworks

5. TCCoE Overview & Update 2026 - Stuart Card, Critical Technologies Inc.

6. NIO's SkyOS Product Line - Yanyan Shen, NIO

7. OT Network Guard - Martin Dehnel-Wild, Kry10

8. Join the seL4 Foundation Today! - June Andronick, Proofcraft & seL4 Foundation



Speakers
avatar for Guangtao Zhu

Guangtao Zhu

Research Student, UNSW Sydney
NS

Nick Spinale

Colias Group
AW

Alexander Weidinger

Researcher, Fraunhofer AISEC
avatar for Robert VanVossen

Robert VanVossen

seL4 Technical Lead, DornerWorks

SC

Stuart Card

Critical Technologies Inc.
YS

Yanyan Shen

Software Architect, NIO

avatar for Martin Dehnel-Wild

Martin Dehnel-Wild

Chief Scientist, Kry10
Dr Martin Dehnel-Wild is Chief Scientist of Kry10, where he leads R&D and heads up Kry10’s UK & European office. He has a DPhil (PhD) in Computer Science from the University of Oxford, where he researched interactive and automated theorem proving for security protocols. Prior to... Read More →
avatar for June Andronick

June Andronick

CEO, Proofcraft and seL4 Foundation
June Andronick is CEO and co-founder of Proofcraft, a company providing commercial support for software verification in general and the seL4 microkernel verification in particular. She is also CEO of the seL4 Foundation. June has extensive leadership experience towards making the... Read More →
Join the seL4 Foundation Today pdf
Wednesday September 2, 2026 12:00 - 13:30 PDT
Plaza Hallway
  Poster Sessions
  • Presentation Attached Yes
 
  • Filter By Date
    Sep 1 - 3, 2026
  • Filter By Venue
    Vancouver, BC, Canada
    All
    Chambar
    Plaza A & B
    Plaza C
    Plaza Hallway
  • Filter By Type
    BoF Sessions
    General Sessions
    All
    Advances in seL4 Security Verification and R&D
    Framework & Analyses
    OS Components (Implementation & Verification)
    Overviews / Insights / Safety / Compliance
    seL4 Exploration & Proposals
    seL4 In Use
    Keynote Sessions
    All
    Learning From The TSC
    Poster Sessions
    Registration / Breaks / Special Events
    Voices From Nearby
    Walkthrough / Tutorial
  • Presentation Attached
    Yes
  • Timezone

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend!
Explore why organizers choose Sched • Success stories
Event App • Event scheduling • Event registration • Event ticketing • Sched forms • Call for papers • Badges • Conferences
© 2026. SCHED LLC - All rights reserved - Helping events since 2008
Conference Scheduling Software • Privacy • Terms
Share Modal

Share this link via

Or copy link

Filter sessions
Apply filters to sessions.
Filtered by Date - 
Clear filter
Tuesday, September 1
Wednesday, September 2
Thursday, September 3
Chambar
Plaza A & B
Plaza C
Plaza Hallway
  • BoF Sessions
  • General Sessions
  • Keynote Sessions
  • Poster Sessions
  • Registration / Breaks / Special Events
  • Voices From Nearby
  • Walkthrough / Tutorial
  • Presentation Attached
  • Yes