Emiel Lanckriet

According to our database, Emiel Lanckriet authored at least 2 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SoK: Robust properties, robust abstractions and back-translations.

Emiel Lanckriet, Frank Piessens, Dominique Devriese

J. Comput. Secur., 2026

2023

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

Emiel Lanckriet, Matteo Busi, Dominique Devriese

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023