External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Dependent Type Theory for Verification of Information Flow and Access Control Policies

Aleksandar Nanevski, Anindya Banerjee, Deepak Garg. Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems, 35(2):6, 2013. [doi]

Authors

Aleksandar Nanevski

This author has not been identified. Look up 'Aleksandar Nanevski' in Google

Anindya Banerjee

This author has not been identified. Look up 'Anindya Banerjee' in Google

Deepak Garg

This author has not been identified. It may be one of the following persons: Look up 'Deepak Garg' in Google
runs on