Micropolicies: Formally verified, tag-based security monitors. Oakland S&P (2015)

by A Azevedo de Amorim, M Dénès, N Giannarakis, C Hriţcu, B C Pierce, A Spector-Zabusky, A Tolmach