Search the dblp DataBase

Publications of Author

1. Avik Chaudhuri, Martín Abadi
   Formal security analysis of basic network-attached storage. [Citation Graph (0, 0)][DBLP]
   FMSE, 2005, pp:43-52 [Conf]
   
2. Avik Chaudhuri
   Dynamic Access Control in a Concurrent Object Calculus. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:263-278 [Conf]
   
3. Avik Chaudhuri, Martín Abadi
   Secrecy by Typing and File-Access Control. [Citation Graph (0, 0)][DBLP]
   CSFW, 2006, pp:112-123 [Conf]
   
4. Avik Chaudhuri, Martín Abadi
   Formal Analysis of Dynamic, Distributed File-System Access Controls. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:99-114 [Conf]
   
5. 
   EON: modeling and analyzing dynamic access control systems with logic programs. [Citation Graph (, )][DBLP]
   
   
6. 
   PCAL: Language Support for Proof-Carrying Authorization Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   A concurrent ML library in concurrent Haskell. [Citation Graph (, )][DBLP]
   
   
8. 
   Static Typing for Ruby on Rails. [Citation Graph (, )][DBLP]
   
   
9. 
   A type system for data-flow integrity on windows vista. [Citation Graph (, )][DBLP]
   
   
10. 
    Language-based security on Android. [Citation Graph (, )][DBLP]
    
    
11. 
    Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. [Citation Graph (, )][DBLP]
    
    
12. 
    A Type System for Data-Flow Integrity on Windows Vista [Citation Graph (, )][DBLP]
    
    
13. 
    Event Synchronization by Lightweight Message Passing [Citation Graph (, )][DBLP]
    
    
14. 
    Liberalizing Dependency [Citation Graph (, )][DBLP]