Current Position: University assistantContact: Email address: binhins [dot] jku [dot] at vTab_employeeAboutI 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 Publications Journal Baader, F., Nguyen T. Binh, Borgwardt S., & Morawska B. (2016). Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. BibTeX (466.29 KB) Conference Paper Nguyen, T. Binh (2015). Abstractions for Security Protocol Verification. (Sprenger, C., Ed.).POST. BibTeX Nguyen, T. Binh (2013). Sound Security Protocol Transformations. (Sprenger, C., Ed.).POST. BibTeX Nguyen, T. Binh (2012). Attack-preserving security protocol transformations.. (Sprenger, C., Ed.).ESSoS-DS. BibTeX Baader, F., Nguyen T. Binh, Morawska B., & Borgwardt S. (2011). Unification in the Description Logic EL without the Top Concept. CADE. BibTeX (327.07 KB) Baader, F., Nguyen T. Binh, Morawska B., & Borgwardt S. (2011). Unification in the Description Logic EL without the Top Concept. DL. BibTeX (327.07 KB)