Kathleen Fisher
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The HACMS program: using formal methods to eliminate exploitable bugs
Kathleen Fisher and others (2017) · Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences · The Royal Society
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology