Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Nanevski, A., Benerjee, A., & Garg, D. (2013). Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems, 35(2): 6, pp. 1-41. doi:10.1145/2491522.2491523.