At NSO's offices, Gerard Araud discovered something resembling a classic tech start-up: teams of programmers "all between 25-30 years old, in flip-flops, black t-shirts, all with PhDs in computer science..."