Michael Baum, National Institute of Standards and Technology (NIST)