Osman Ismael, "TCB: From Assumption to Assurance"

CERIAS Weekly Security Seminar - Purdue University

English - September 23, 2020 20:30 - 231 MB Video - ★★★★ - 6 ratings
Technology Education Courses infosec security video seminar cerias purdue information sfs research education Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: Warda Zahid Khan, "Authentication: Behind The Scenes When You Click “Check Out”"

Next Episode: , "Global Challenges in Security and Privacy Policy: elections, pandemics, and biometric technologies"

The TCB has been very precisely defined since 1979, but in practice
its implementation and application in today modern software stack
is very blurry. This talk describes a very common application and
how to consider its associated TCB, after explosive the problems it
will propose an alternative to better release and execute software
with unbreakable guarantee.