“Most of Onyx Security's research and engineering staff come from a unit in the Israeli intelligence that focuses on the intersection of mathematics and cybersecurity.”