Secure vehicular communication systems: implementation, performance, and research challenges. - Frank Kargl; Panagiotis Papadimitratos; Levente Buttyán; Michael Müter; Elmar Schoch; Björn Wiedersheim; Ta Vinh Thong 001; Giorgio Calandriello; Albert Held; Antonio Kung; Jean-Pierre Hubaux (IEEE Commun. Mag., 2008)

Formal verification of secure ad-hoc network routing protocols using deductive model-checking. - Levente Buttyán; Ta Vinh Thong 001 (WMNC, 2010)

Query Auditing for Protecting Max/Min Values of Sensitive Attributes in Statistical Databases. - Ta Vinh Thong 001; Levente Buttyán (TrustBus, 2012)

SDTP+: Securing a distributed transport protocol for WSNs using Merkle trees and Hash chains. - Amit Dvir; Levente Buttyán; Ta Vinh Thong 001 (ICC, 2013)

On formal and automatic security verification of WSN transport protocols. - Ta Vinh Thong 001; Amit Dvir (IACR Cryptol. ePrint Arch., 2013)

On automating the verification of secure ad-hoc network routing protocols. - Ta Vinh Thong 001; Levente Buttyán (Telecommun. Syst., 2013)

Privacy by Design: On the Conformance Between Protocols and Architectures. - Vinh-Thong Ta 001; Thibaud Antignac (FPS, 2014)

Formal Security Verification of Transport Protocols for Wireless Sensor Networks. - Ta Vinh Thong 001; Amit Dvir; Levente Buttyán (ICCSAMA, 2014)

Automated security verification of networking protocols and query auditing algorithms for wireless sensor networks - Ta Vinh Thong 001 (2014)

Formal Accountability for Biometric Surveillance: A Case Study. - Vinh-Thong Ta 001; Denis Butin; Daniel Le Métayer (APF, 2015)

Securing Road Traffic Congestion Detection by Incorporating V2I Communications. - Vinh-Thong Ta 001; Amit Dvir; Yalin Arie (WOWMOM, 2018)

STWSN: A novel secure distributed transport protocol for wireless sensor networks. - Amit Dvir; Vinh-Thong Ta 001; Sefi Erlich; Levente Buttyán (Int. J. Commun. Syst., 2018)

Keep Calm and Carry on with Cybersecurity @Home: A Framework for Securing Homeworking IT Environment. - Max Eiza; Romanus Izuchukwu Okeke; John Dempsey; Vinh-Thong Ta 001 (Int. J. Cyber Situational Aware., 2020)

A secure road traffic congestion detection and notification concept based on V2I communications. - Vinh-Thong Ta 001; Amit Dvir (Veh. Commun., 2020)

Augmenting Zero Trust Architecture to Endpoints Using Blockchain: A Systematic Review. - Lampis Alevizos; Vinh-Thong Ta 001; Max Hashem Eiza (CoRR, 2021)

Blockchain-Enabled Intrusion Detection and Prevention System of APTs Within Zero Trust Architecture. - Lampis Alevizos; Max Hashem Eiza; Ta Vinh Thong 001; Qi Shi 001; Janet C. Read (IEEE Access, 2022)

An Indirect Social Trust Model for Vehicular Social Networks Using Evolving Graph Theory. - Max Hashem Eiza; Vinh-Thong Ta 001 (CoRR, 2022)

Children designing privacy warnings: Informing a set of design guidelines. - John Dempsey; Gavin Sim; Brendan Cassidy; Vinh-Thong Ta 001 (Int. J. Child Comput. Interact., 2022)

DataProVe: Fully Automated Conformance Verification Between Data Protection Policies and System Architectures. - Vinh-Thong Ta 001; Max Hashem Eiza (Proc. Priv. Enhancing Technol., 2022)

Augmenting zero trust architecture to endpoints using blockchain: A state-of-the-art review. - Lampis Alevizos; Vinh-Thong Ta 001; Max Hashem Eiza (Secur. Priv., 2022)

A Novel Efficient Dynamic Throttling Strategy for Blockchain-Based Intrusion Detection Systems in 6G-Enabled VSNs. - Lampis Alevizos; Vinh-Thong Ta 001; Max Hashem Eiza (Sensors, 2023)

Credit Card Fraud Detection Using Deep Neural Network with Shapley Additive Explanations. - Chidinma Faith Onyeoma; Husnain Rafiq; Daniel Jeremiah; Vinh-Thong Ta 001; Muhammad Usman 018 (FIT, 2024)

TTP-Based Cyber Resilience Index: A Probabilistic Quantitative Approach to Measure Defence Effectiveness Against Cyber Attacks. - Lampis Alevizos; Vinh-Thong Ta 001 (CoRR, 2024)

Automated Cybersecurity Compliance and Threat Response Using AI, Blockchain & Smart Contracts. - Lampis Alevizos; Vinh-Thong Ta 001 (CoRR, 2024)

Secure semi-automated GDPR compliance service with restrictive fine-grained access control. - Max Hashem Eiza; Ta Vinh Thong 001; Qi Shi 001; Yue Cao 002 (Secur. Priv., 2024)

NIOM-DGA: Nature-inspired optimised ML-based model for DGA detection. - Daniel Jeremiah; Husnain Rafiq; Ta Vinh Thong 001; Muhammad Usman 018; Mohsin Raza; Muhammad Awais 003 (Comput. Secur., 2025)