dblp.uni-trier.dewww.uni-trier.de

Avik Chaudhuri

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

2008
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)
2006
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
2005
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]
3Prasad Naldurg [5] [7] [8] [10]
4Sriram K. Rajamani [5] [7] [8] [10]
5G. Ramalingam (Ganesan Ramalingam) [10]
6Lakshmisubrahmanyam Velaga [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)