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

Abstract

Dedicated to the memory of John C. Reynolds (1935--2013).

Document Details

• Document Type: Pub Defense Publication
• Publication Date: Jul 01, 2013
• Source ID: 10.1145/2491522.2491523

Entities

People

• Aleksandar Nanevski
• Anindya Banerjee
• Deepak Garg

Organizations

• Air Force Office of Scientific Research
• Instituto Madrileño de Estudios Avanzados
• Max Planck Institute for Software Systems
• Ministry of Economy, Industry and Competitiveness
• National Science Foundation
• Seventh Framework Programme