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

• Reynaldo Gil-Pons. PhD thesis: Formal verification of memory erasure and attestation protocols
• Zach Smith. PhD thesis: Multiparty authentication protocols and contract signing (2020)
• Jorge Toro-Pozo. PhD thesis: A formal approach to distance bounding (2019)