[jmct]

Galois does not work on financial products. It is a research services company (i.e. R&D for hire) that focuses on high-assurance software.