Avik Chaudhuri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

12EEAvik Chaudhuri, Deepak Garg: PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS 2009: 184-199
11EEAvik Chaudhuri: A concurrent ML library in concurrent Haskell. ICFP 2009: 269-280
10EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga: EON: modeling and analyzing dynamic access control systems with logic programs. ACM Conference on Computer and Communications Security 2008: 381-390
9EEBruno Blanchet, Avik Chaudhuri: Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. IEEE Symposium on Security and Privacy 2008: 417-431
8EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on windows vista. PLAS 2008: 89-100
7EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A Type System for Data-Flow Integrity on Windows Vista CoRR abs/0803.3230: (2008)
6EEAvik Chaudhuri: Event Synchronization by Lightweight Message Passing CoRR abs/0805.4029: (2008)
5EEAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on Windows Vista. SIGPLAN Notices 43(12): 9-20 (2008)
4EEAvik Chaudhuri: Dynamic Access Control in a Concurrent Object Calculus. CONCUR 2006: 263-278
3EEAvik Chaudhuri, Martín Abadi: Secrecy by Typing and File-Access Control. CSFW 2006: 112-123
2EEAvik Chaudhuri, Martín Abadi: Formal Analysis of Dynamic, Distributed File-System Access Controls. FORTE 2006: 99-114
1EEAvik Chaudhuri, Martín Abadi: Formal security analysis of basic network-attached storage. FMSE 2005: 43-52

Coauthor Index

1Martín Abadi [1] [2] [3]
2Bruno Blanchet [9]
3Deepak Garg [12]
4Prasad Naldurg [5] [7] [8] [10]
5Sriram K. Rajamani [5] [7] [8] [10]
6G. Ramalingam (Ganesan Ramalingam) [10]
7Lakshmisubrahmanyam Velaga [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)