Privacy preserving through a memorizing algorithm in location-based services. - Quynh Chi Truong; Anh Tuan Truong; Tran Khanh Dang (MoMM, 2009)

Memorizing Algorithm: Protecting User Privacy using Historical Information of Location-Based Services. - Quynh Chi Truong; Anh Tuan Truong; Tran Khanh Dang (Int. J. Mob. Comput. Multim. Commun., 2010)

An Adaptive Grid-Based Approach to Location Privacy Preservation. - Anh Tuan Truong; Quynh Chi Truong; Tran Khanh Dang (Advances in Intelligent Information and Database Systems, 2010)

On Guaranteeing k-Anonymity in Location Databases. - Anh Tuan Truong; Tran Khanh Dang; Josef Küng (DEXA (1), 2011)

Boosting Model Checking to Analyse Large ARBAC Policies. - Silvio Ranise; Anh Tuan Truong; Alessandro Armando (STM, 2012)

Anonymizing but Deteriorating Location Databases. - Tran Khanh Dang; Anh Tuan Truong (Polibits, 2012)

Incremental Analysis of Evolving Administrative Role Based Access Control Policies. - Silvio Ranise; Anh Tuan Truong (DBSec, 2014)

Scalable and precise automated analysis of administrative temporal role-based access control. - Silvio Ranise; Anh Tuan Truong; Alessandro Armando (SACMAT, 2014)

Automated analysis of RBAC policies with temporal constraints and static role hierarchies. - Silvio Ranise; Anh Tuan Truong; Luca Viganò 001 (SAC, 2015)

ASASPXL: New Clother for Analysing ARBAC Policies. - Anh Tuan Truong; Silvio Ranise (FDSE, 2016)

Parameterized model checking for security policy analysis. - Silvio Ranise; Anh Tuan Truong; Riccardo Traverso (Int. J. Softw. Tools Technol. Transf., 2016)

Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies. - Silvio Ranise; Anh Tuan Truong; Luca Viganò 001 (J. Comput. Secur., 2018)