HAX-BedtimeReading.md

HAX Bedtime reading

US Defense Technical Information Center

State-of-the-Art Resources (SOAR) for Software Vulnerability Detection, Test, and Evaluation 2016

November 2016

https://apps.dtic.mil/sti/pdfs/AD1106086.pdf

SYMBOLIC INPUT UNIFICATION AND MINIMIZATION

APRIL 2019

https://apps.dtic.mil/sti/pdfs/AD1070382.pdf

RED TEAM IN A BOX (RTIB): DEVELOPING AUTOMATED TOOLS TO IDENTIFY, ASSESS, AND EXPOSE CYBERSECURITY VULNERABILITIES IN DEPARTMENT OF THE NAVY SYSTEMS

June 2019

https://apps.dtic.mil/sti/pdfs/AD1080369.pdf

CONTINUUM: FINDING SPACE AND TIME VULNERABILITIES IN JAVA PROGRAMS

OCTOBER 2019

https://apps.dtic.mil/sti/pdfs/AD1082108.pdf

Edge of the Art in Vulnerability Research

APRIL 2020

https://apps.dtic.mil/sti/pdfs/AD1096948.pdf

Edge of the Art in Vulnerability Research VERSION 2 of 4

JANUARY 2021

https://apps.dtic.mil/sti/pdfs/AD1122200.pdf

EDGE OF THE ART IN VULNERABILITY RESEARCH VERSION 3 OF 4

JANUARY 2021

https://apps.dtic.mil/sti/pdfs/AD1122204.pdf

EDGE OF THE ART IN VULNERABILITY RESEARCH VERSION 4 OF 4

MARCH 2021

https://apps.dtic.mil/sti/pdfs/AD1126216.pdf

EDGE OF THE ART IN VULNERABILITY RESEARCH VERSION 6

JUNE 2022

https://apps.dtic.mil/sti/pdfs/AD1172601.pdf

A Comparative Binary Analysis Tool (CBAT)

November 2022

https://apps.dtic.mil/sti/pdfs/AD1186235.pdf