1. 1
    FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution (2013) pdf slides programming security usenix.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment

  1.  

  2. 1
    nickpsecurity avatar nickpsecurity 1 year ago | link

    The whitepaper is here:

    https://www.usenix.org/system/files/conference/usenixsecurity13/sec13-paper_davidson.pdf

    Website with download is here:

    http://pages.cs.wisc.edu/~davidson/fie/

    Leverages the KLEE work I’ve often mentioned here:

    https://klee.github.io/