NIST and Micali settle Clipper patent dispute