Adversarial Certification of Evidentiary Software Essay by Nicholas G. Vincent, Bryan H. Choi, Eli Siems, Clay Halbert and Katherine J. Strandburg