About
I am a PhD student and a Teaching Assitant at the University under
Hayo Thielecke's supervision.
You can find more details on my personal webpage at
http://horia.vc.
Papers
A Taxonomy of Time and State
Attacks - Sixth International Workshop on Secure Software
Engineering (SecSE), 24 August 2012