 | 2009 |
|---|
| 12 |       | Avik Chaudhuri,
Deepak Garg:
PCAL: Language Support for Proof-Carrying Authorization Systems.
ESORICS 2009: 184-199 |
| 11 | | Avik Chaudhuri:
A concurrent ML library in concurrent Haskell.
ICFP 2009: 269-280 |
| 2008 |
|---|
| 10 | | Avik 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 |
| 9 | | Bruno 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 |
| 8 | | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A type system for data-flow integrity on windows vista.
PLAS 2008: 89-100 |
| 7 | | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A Type System for Data-Flow Integrity on Windows Vista
CoRR abs/0803.3230: (2008) |
| 6 | | Avik Chaudhuri:
Event Synchronization by Lightweight Message Passing
CoRR abs/0805.4029: (2008) |
| 5 | | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A type system for data-flow integrity on Windows Vista.
SIGPLAN Notices 43(12): 9-20 (2008) |
| 2006 |
|---|
| 4 | | Avik Chaudhuri:
Dynamic Access Control in a Concurrent Object Calculus.
CONCUR 2006: 263-278 |
| 3 | | Avik Chaudhuri,
Martín Abadi:
Secrecy by Typing and File-Access Control.
CSFW 2006: 112-123 |
| 2 | | Avik Chaudhuri,
Martín Abadi:
Formal Analysis of Dynamic, Distributed File-System Access Controls.
FORTE 2006: 99-114 |
| 2005 |
|---|
| 1 | | Avik Chaudhuri,
Martín Abadi:
Formal security analysis of basic network-attached storage.
FMSE 2005: 43-52 |
