According to our database1, Minh Ngo authored at least 8 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Typed-based Relaxed Noninterference for Free.
Whither Specifications as Programs.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019
A Better Facet of Dynamic Information Flow Control.
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.
Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018
Runtime Enforcement of Security Policies on Black Box Reactive Programs.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Programmable enforcement framework of information flow policies.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014
MAP-REDUCE Runtime Enforcement of Information Flow Policies
Program Mining Augmented with Empirical Properties.
Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009