Symbolic Execution

2 talks in the archive.

Filters+

Loading filters…

1–2 of 2 talks · loading…

Sort

CODE BLUE 2024·34 min

CODE BLUE
Hardware
Date: 2024
Location: Code Blue

[CB24]1-Click-Fuzz：Systematically Fuzzing the Windows Kernel Driver with Symbolic Execution.

Symbolic Execution.

Presenters detail vulnerability discovery and exploitation in [CB24]1-Click-Fuzz：Systematically Fuzzing the Windows Kernel Driver with Symbolic Execution..

windowsfuzzingkernel+3

BSides Knoxville·52 min

BSides
Community
Date: 2022
Location: Bsides

Chris Craig - Educated Guesses with Symbolic Execution

Symbolic Execution

Chris Craig - Educated Guesses with Symbolic Execution.

symbolic-executionchricraig+3