Hopscotch: A Scalable Flow-Graph Based Approach to Formally Specify and Verify Memory-Tagged Store Execution in Arm CPUs Author(s): Abhinav Sethi, Madhu Iyer, Sai Komaravelli, and Vikram Khosa Download