Hall of Fame CIO Paul Martin Joins Ping Identity’s Board of Directors