Verifiable Manufacturing Using Blockchain. - Michael Chiu; Jyotiraditya Panda; Abraham Goldsmith; Uros Kalabic (CoRR, 2023)