3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CR2019
Type-based Declassification for Free
Minh Ngo, David A. Naumann, Tamara Rezk
This work provides a study to demonstrate the potential of using off-the-shelf programming languages and their theories to build sound language-based-security tools. Our study focu…
cs.CR2013★ 3 cited
MAP-REDUCE Runtime Enforcement of Information Flow Policies
Minh Ngo, Fabio Massacci, Olga Gadyatskaya
We propose a flexible framework that can be easily customized to enforce a large variety of information flow properties. Our framework combines the ideas of secure multi-execution…