| 2008 |
|---|
| 10 | EE | 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 | EE | 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 | EE | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A type system for data-flow integrity on windows vista.
PLAS 2008: 89-100 |
| 7 | EE | Avik Chaudhuri,
Prasad Naldurg,
Sriram K. Rajamani:
A Type System for Data-Flow Integrity on Windows Vista
CoRR abs/0803.3230: (2008) |
| 6 | EE | Avik Chaudhuri:
Event Synchronization by Lightweight Message Passing
CoRR abs/0805.4029: (2008) |
| 5 | EE | 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 | EE | Avik Chaudhuri:
Dynamic Access Control in a Concurrent Object Calculus.
CONCUR 2006: 263-278 |
| 3 | EE | Avik Chaudhuri,
Martín Abadi:
Secrecy by Typing and File-Access Control.
CSFW 2006: 112-123 |
| 2 | EE | Avik Chaudhuri,
Martín Abadi:
Formal Analysis of Dynamic, Distributed File-System Access Controls.
FORTE 2006: 99-114 |
| 2005 |
|---|
| 1 | EE | Avik Chaudhuri,
Martín Abadi:
Formal security analysis of basic network-attached storage.
FMSE 2005: 43-52 |
