Detecting Neural Trojans Through Merkle Trees. - Joshua Strubel (CoRR, 2023)