The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)

Osman Ismael - BedRock Systems

Students: Spring 2025, unless noted otherwise, sessions will be virtual on Zoom.

TCB: From Assumption to Assurance

Sep 23, 2020

Download: Video Icon MP4 Video Size: 231.2MB  
Watch on Youtube Watch on YouTube

Abstract


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.

About the Speaker

Osman Ismael

Osman Ismael is CTO and Co-founder of BedRock Systems Inc. Prior to his current role he served 12 years as a founding member and distinguished Engineer at FireEye. Osman helped lead and build projects at Sun Microsystems and Sun Microsystems Labs, where he spent 8+ years as staff engineer and Senior Staff Engineer. He served as a Senior Software Architect at Terraspring, acquired by Sun Microsystems in 2002. Osman has an extensive background in virtualization, cyber security, operating systems, networking and holds over 30 patents in these industries.



Ways to Watch

YouTube

Watch Now!

Over 500 videos of our weekly seminar and symposia keynotes are available on our YouTube Channel. Also check out Spaf's YouTube Channel. Subscribe today!