Assistant Professor at VU Amsterdam in the Theoretical Computer Science group and affiliated with VUSec.
Her research develops security models and proof techniques that make it feasible or easier to design cryptographic protocols with formal security guarantees.