When NASA's Jet Propulsion Laboratory isn't piloting a rover on another world, it's apparently helping make PDF files more secure.