Number of items: 2.
Nanevski, Aleksandar and Banerjee, Anindya and Garg, Deepak
(2013)
Dependent Type Theory for Verification of Information Flow and Access Control Policies.
ACM Transactions on Programming Languages and Systems, 35 (2).
Nanevski, Aleksandar and Banerjee, Anindya and Garg, Deepak
(2011)
Verification of Information Flow and Access Control Policies with Dependent Types.
This list was generated on Sat Aug 23 02:24:59 2025 CEST.