This page shows all presentations of this author published in EasyChair Smart Slide.
Pi_RA: a Pi-Calculus for Verifying Protocols That Use Remote Attestation
Emiel Lanckriet, Matteo Busi and Dominique Devriese