Diego de Estrada

I am a PhD student in the Cryptography Group, advised by Carla Ràfols. I study efficient ways to verify that a prover computed a result correctly, knows certain information, holds a valid credential, or has allocated a prescribed amount of storage. Cryptographic proofs can establish these claims with low verification cost and without revealing the underlying information.

My work focuses on hash-based constructions, whose security relies on cryptographic hash functions rather than algebraic hardness assumptions, which makes them plausible candidates for post-quantum security.

Before starting my PhD, I worked for several years as a software engineer in security and fraud prevention.