$ pi_{ mathbf{RA}}$: A $ pi text{-calculus}$ for Verifying Protocols that Use Remote Attestation. - Emiel Lanckriet; Matteo Busi 001; Dominique Devriese (CSF, 2023)