"Automatic enforcement of expressive security policies using enclaves."

Anitha Gollamudi, Stephen Chong (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics