Concepedia

Ta Vinh Thong

TV

2

Publications

24

Citations

2

H-Index

2009

Active since

Affiliations

Budapest University of Technology and Economics(Current)

Ta Vinh Thong is an author at Budapest University of Technology and Economics specializing in formal methods, data security, and formal verification.

Top concepts

EngineeringVerificationData SecurityFormal MethodsComputer ScienceNetwork SecurityHardware SecurityFormal VerificationSystems EngineeringInformation Security

Publications per year

2009–2010

2

Publications

2

Formal verification of secure ad-hoc network routing protocols using deductive model-checking

Levente Buttyán, Ta Vinh Thong · 2010 · 12 citations

Engineering, Ad-hoc Networks, Information Security +18

Consistency verification of stateful firewalls is not harder than the stateless case

Levente Buttyán, Gábor Pék, Ta Vinh Thong · 2009 · 12 citations

Stateless Case, Engineering, Survivable System +21

Rows per page

1–2 of 2