$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emiel Lanckriet, Matteo Busi 0001, Dominique Devriese. $\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. In 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023. pages 537-551, IEEE, 2023. [doi]

This author has not been identified. Look up 'Emiel Lanckriet' in GoogleThis author has not been identified. Look up 'Matteo Busi 0001' in GoogleThis author has not been identified. Look up 'Dominique Devriese' in Google

runs on WebDSL