The SCEAS System
Navigation Menu

Search the dblp DataBase


Avik Chaudhuri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.017secs, Finished in 0.018secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002