My research focuses on computer security, specifically on formal verification of security protocols, distance bounding, symbolic analysis, RFID protocols, automated verification, applied crypto, and PKI.
Here’s my CV .
- Our paper Post-Collusion Security and Distance Bounding has been accepted for CCS’19!!!
- On May 14th, 2019, I successfully defended my PhD thesis with the grade of Excellent. To everyone who supported me throughout these four years, thank you!!!