Login / Signup
Emiel Lanckriet
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Security Protocols
Remote Attestation
Top Venues
CSF
</>
Publications
</>
Emiel Lanckriet
,
Matteo Busi
,
Dominique Devriese
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.
CSF
(2023)