Shahriar Ebrahimi, Parisa Hassanizadeh: From Interaction to Independence: zkSNARKs for Transparent and Non-Interactive Remote Attestation. NDSS 2024