Verification of Windows Device Drivers
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Paul Levy.
Critical parts of the software stack, like Windows device drivers, are written
in C and use kernel data structures like cyclic doubly-linked lists. We will
describe SLAyer, an automatic formal verification tool that proves memory
safety of such a codebase, and report on using it to verify a kmdf FireWire
device driver.
This talk is part of the Theoretical computer science seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|