Browse Dissertations and Theses - Computer Science by Author "Dasgupta, Sandeep"

  • Dasgupta, Sandeep (2020-05-04)
    The ability to directly reason about binary machine code is desirable, not only because it allows analyzing binaries even when the source code is not available (e.g., legacy code, closed-source software, or malware), but ...

    application/pdf

    application/pdfPDF (949kB)