Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations. - Vasisht Duddu; Oskari Järvinen; Lachlan J. Gunn; N. Asokan (CoRR, 2024)