Rolando Trujillo Rasua

Rolando Trujillo Rasúa

• About
• Publications
• Supervision
• Open positions
• Contact

I'm actively involved in the (co-)supervision of PhD students.

Current Students

• Mauro Anibal Clavijo Herrera
• Li Yu

Past Students

• Folmer Heikamp. PhD thesis: Traceability and Path Authentication in Dynamic Supply Chains (2025)
• Reynaldo Gil-Pons. PhD thesis: Formal verification of memory erasure and attestation protocols (2024)
• Zach Smith. PhD thesis: Multiparty authentication protocols and contract signing (2020)
• Jorge Toro-Pozo. PhD thesis: A formal approach to distance bounding (2019)