Thanh Binh Nguyen

Current Position: 
University assistant

Email address: binhatins [dot] jku [dot] at



I am a researcher at the Network and Security Institute headed by Prof. Dr. Rene Mayrhofer.

My main research interest is the formal methods, symbolic security protocol verifications, and in particular sound abstractions for security protocols. I am currently working on the secure code and code verification at the institute. 

Before joining the group, I obtained my dual Master of Science degree from Nova Univerisity de Lisboa, Portugal and Technical University of Dresden, Germany in 2010. I completed my PhD degree at Information Security group at ETH Zurich, Switzerland in 2015. 

Research Interests: 
Formal methods for security protocol verification, secure code, formal code verification