Loading...

How the BIOS assures its handling of inputs

165 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jun 9, 2017

How the BIOS assures its handling of inputs

Alex Bazhaniuk
Presented at the 2017 LangSec Workshop
at the IEEE Symposium on Security & Privacy Workshops
May 25, 2016
San Jose, CA
http://www.ieee-security.org/TC/SP2017/
http://spw17.langsec.org/

ABSTRACT
In this presentation I will explain different types of input to firmware interfaces, and different approaches for BIOS analysis in the perspective of formal validation as well as finding vulnerabilities. I will discuss examples of static analysis, dynamic analysis, and symbolic execution analysis of BIOS components.

Loading...

to add this to Watch Later

Add to

Loading playlists...