Home Publications

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

Research Area: Uncategorized Year: 2013
Type of Publication: Article
  • Nanevski, Aleksandar
  • Banerjee, Anindya
  • Garg, Deepak
Journal: ACM Trans. Program. Lang. Syst. Volume: 35
Number: 2 Pages: 6
Journal's impact factor: 1.03
(Partners: IMDEA, Projects: MINECO Projects TIN2009-14599-C03-02 Desafios, TIN2010-20639 Paran10, and TIN2012-39391-C04-01 Strongsoft; EU Project NoE-256980 Nessos; Ramon y Cajal grant RYC-2010-0743; AMAROUT grant PCOFUND-GA-2008-229599; U.S. NSF Trustworthy Computing grant 1018061, NoTier) CITE(03/03/2014):3