Vinh Thong TA, PhD. Student
Advisor:
Levente, BUTTYÁN, PhD. associate professor
Address: H-1521 Budapest Pf. 91., Hungary
Office: Budapest, XI. Magyar tudósok körútja 2.
Room: I.E.429
Phone: + 36 1 463-2063, Fax: +36 1 463 3266
E-mail: vinhthong.ta (at) crysys.hit.bme.hu
More Photos Here.
Short biography:
Vinh Thong TA was born in 1983 in Hanoi, the Capital of Vietnam. Thong came to Hungary when he was 9 ages old in 1992. He received the MSc degree in computer science from the Budapest University of Technology and Economics (BUTE). Since 2007 he has been working at the Laboratory of Cryptography and Systems Security (CrySyS) as a research assistant and PhD student.
Schools:
- 1989-1992: Nguyen Du elementary school, Hanoi, Vietnam.
- 1993-1998: Egry József elementary school, Budapest, Hungary.
- 1998-2002: Fazekas Mihály Fővárosi Gyakorló Gimnázium, Budapest, Hungary.
- Special Mathematics class.
- 2002-2008: MSc Degree at Budapest University of Technology and Economics (BUTE), Budapest, Hungary.
- In computer science and information security.
- Point of interest: See the world/local rank and the europian rank of the university by the Cybermetrics Lab.
- 2008- : PhD student at Laboratory of Cryptography and Systems Security (CrySyS), BUTE.
- My research area: Formal analysis of security protocols.
International courses I have taken part in :
- 2008: SWING, PhD School on Security of Wireless Networking. Bertinoro, Italy. Lecturers :
- Prof. Srdjan Capkun (ETH Zurich, Switzerland), and
- Prof. Michael Reiter (University of North Carolina, USA).
Current research activities (See my publications here)
- Security API analysis. See my poster
- Security verification of firewalls. See my poster
- Automatic security verification of MANETs.
Prizes
- Pollák-Virág prize, 2010.
Scholarship
- High Speed Networks-Ericsson scholarship, 2008-.
Project I have taken part in :
Talks :
Talented students I have worked with as their co-advisor :
- Gábor Pék, BSc.
- The title of his BSc. thesis: "Security verification of stateful firewalls".
- Nguyen Thi Hoang Phuong (Fanni), MSc.
- The title of her MSc. thesis: "Formal verification of firewalls".
Languages :
- Vietnamese: native
- Hungarian: almost native
- English: read, written and spoken well.
Hobbys:
- Playing and watching football.
- Spending time with friends and family.
- Go to cinema, theatre.
Back