RSS: Events
|
News
|
Papers
SSRC News
SSRC Events
››› Complete list of events
|
Martín Abadi
|
|
|
Prof. Martín Abadi works on algorithms and mechanisms for improving file system and storage security.
|
Publications
2006
-
Avik Chaudhuri,
Martín Abadi,
Formal Analysis of Dynamic, Distributed File-System Access Controls,
Proceedings of the 26th IFIP WG6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06),
September 2006, pages 99-114.
[Secure File and Storage Systems]
-
Avik Chaudhuri,
Martín Abadi,
Secrecy by Typing and File-Access Control,
Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW '06),
July 2006, pages 112-123.
[Secure File and Storage Systems]
2005
|
Last modified 5 Apr 2008
|