The Story of CertiQ for AWS