Searching for software diversity: attaining artificial diversity through program synthesis. - Gilmore R. Lundquist; Vishwath Mohan; Kevin W. Hamlen (NSPW, 2016)

Source-free Machine-checked Validation of Native Code in Coq. - Kevin W. Hamlen; Dakota Fisher; Gilmore R. Lundquist (FEAST@CCS, 2019)