Zachary Daniel Smith

I am a former PhD student within the Security and Trust of Software Systems (SaToSS) research group at the University of Luxembourg. The group is headed by Prof. Dr. Sjouke Mauw. I successfully defended my thesis, titled Design and Verification of Specialised Security Goals for Protocol Families, in September 2020. Please find more information on my personal website.

Research topics