STIC Doctoral School Best Scientific Contribution Award Ceremony
My research interests include formal methods, security, cryptographic protocols and privacy.
