Program Mining Augmented with Empirical Properties. - Minh Ngo (Encyclopedia of Data Warehousing and Mining, 2009)

MAP-REDUCE Runtime Enforcement of Information Flow Policies - Minh Ngo; Fabio Massacci; Olga Gadyatskaya (CoRR, 2013)

Programmable enforcement framework of information flow policies. - Minh Ngo; Fabio Massacci (ICTCS, 2014)

Runtime Enforcement of Security Policies on Black Box Reactive Programs. - Minh Ngo; Fabio Massacci; Dimiter Milushev; Frank Piessens (POPL, 2015)

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. - Minh Ngo; Frank Piessens; Tamara Rezk (IEEE Symposium on Security and Privacy, 2018)

A Better Facet of Dynamic Information Flow Control. - Minh Ngo; Nataliia Bielova; Cormac Flanagan; Tamara Rezk; Alejandro Russo; Thomas Schmitz 001 (WWW (Companion Volume), 2018)

Whither Specifications as Programs. - David A. Naumann; Minh Ngo (UTP, 2019)

Typed-based Relaxed Noninterference for Free. - Minh Ngo; David A. Naumann; Tamara Rezk (CoRR, 2019)

Type-Based Declassification for Free. - Minh Ngo; David A. Naumann; Tamara Rezk (ICFEM, 2020)

An Algebra of Alignment for Relational Verification. - Timos Antonopoulos; Eric Koskinen; Ton Chanh Le; Ramana Nagasamudram; David A. Naumann; Minh Ngo (Proc. ACM Program. Lang., 2023)