BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.3mdeb.com//bsmconf//talk//79MHSV
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-bsmconf-79MHSV@cfp.3mdeb.com
DTSTART;TZID=CET:20260924T103000
DTEND;TZID=CET:20260924T110000
DESCRIPTION:The session will explore current work by our team and others in
  verifiable computing\, from bootstrap to compiler to firmware to runtime.
  We seek to demonstrate current best efforts to verify what code is runnin
 g on a remote machine\, and promising ideas and efforts to take it even fu
 rther.\n\nWe will cover the current state of reproducible and bootstrappab
 le firmware and runtime build infrastructure via StageX\, multi-hardware a
 ttestation work through BootProof\, building a stack that effectively trus
 ts no single person or computer. This setup\, which we refer to as verifia
 ble computing\, is critical for high security and privacy use cases such a
 s provably private inference\, VPNs\, private API proxies\, signing oracle
 s\, etc. Further we seek to be able to take SBOMs much further\, proving e
 very line of code that compiled every line of code all the way back to a s
 mall bit of human reviewable machine code.\n\nWe will also talk about the 
 gaps. Such as why the Ada programming language remains the biggest blocker
  to verifiable firmware on Intel systems\, what unverifiable binary blobs 
 still exist\, and what can be done about it.
DTSTAMP:20260815T034608Z
LOCATION:GPN-T Main Room
SUMMARY:Verifiable Computing: Connecting trust from bootstrap\, to firmware
 \, to runtime - Lance R. Vick
URL:https://cfp.3mdeb.com/bsmconf/talk/79MHSV/
END:VEVENT
END:VCALENDAR