Minh Ngo

According to our database, Minh Ngo authored at least 10 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., January, 2023

2020

Type-Based Declassification for Free.

Minh Ngo, David A. Naumann, Tamara Rezk

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Typed-based Relaxed Noninterference for Free.

Minh Ngo, David A. Naumann, Tamara Rezk

CoRR, 2019

Whither Specifications as Programs.

David A. Naumann, Minh Ngo

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018

A Better Facet of Dynamic Information Flow Control.

Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements.

Minh Ngo, Frank Piessens, Tamara Rezk

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2015

Runtime Enforcement of Security Policies on Black Box Reactive Programs.

Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Programmable enforcement framework of information flow policies.

Minh Ngo, Fabio Massacci

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

2013

MAP-REDUCE Runtime Enforcement of Information Flow Policies

Minh Ngo, Fabio Massacci, Olga Gadyatskaya

CoRR, 2013

2009

Program Mining Augmented with Empirical Properties.

Minh Ngo

Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009