YoVDO

How the BIOS Assures Its Handling of Inputs

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Symbolic Execution Courses Vulnerability Assessment Courses Dynamic Analysis Courses Static Analysis Courses Firmware Security Courses

Course Description

Overview

Explore the intricacies of BIOS input handling and analysis techniques in this 36-minute conference talk presented by Alex Bazhaniuk at the 2017 LangSec Workshop, part of the IEEE Symposium on Security & Privacy Workshops. Delve into various types of firmware interface inputs and examine different approaches for BIOS analysis, focusing on formal validation and vulnerability detection. Gain insights into static analysis, dynamic analysis, and symbolic execution analysis of BIOS components through practical examples. Enhance your understanding of firmware security and learn how to assess the robustness of BIOS input handling mechanisms.

Syllabus

How the BIOS assures its handling of inputs


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Sensor Security
IEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube