[1] She established a project to develop curricula to increase security in aviation-oriented computing education.
[6][7] This project produced several papers and modules, including one on buffer overflow vulnerabilities.
Her other publications include "Toward a theory of test data selection",[8] "An International Survey of Industrial Applications of Formal Methods.
[10] In 1987 Gerhart was one of the founding members of Systers, the oldest and largest mailing list for women in computing.
[11][12] Having been personally impacted by macular degeneration,[13] she maintains the "As Your World Changes" blog on using technology, including podcasts, to overcome vision loss.