Gilmore R. Lundquist

According to our database, Gilmore R. Lundquist authored at least 2 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Source-free Machine-checked Validation of Native Code in Coq.

Kevin W. Hamlen, Dakota Fisher, Gilmore R. Lundquist

Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019

2016

Searching for software diversity: attaining artificial diversity through program synthesis.

Gilmore R. Lundquist, Vishwath Mohan, Kevin W. Hamlen

Proceedings of the 2016 New Security Paradigms Workshop, 2016