Minh Ngo

According to our database1, Minh Ngo authored at least 8 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Typed-based Relaxed Noninterference for Free.
CoRR, 2019

Whither Specifications as Programs.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018
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

2015
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

2014
Programmable enforcement framework of information flow policies.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

2013
MAP-REDUCE Runtime Enforcement of Information Flow Policies
CoRR, 2013

2009
Program Mining Augmented with Empirical Properties.
Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009


  Loading...