by Bruno Blanchet and Avik Chaudhuri
Reference:
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage (Bruno Blanchet and Avik Chaudhuri), In IEEE Symposium on Security and Privacy, IEEE, 2008.
Bibtex Entry:
@InProceedings{BlanchetChaudhuriOakland08,
author = {Bruno Blanchet and Avik Chaudhuri},
title = {Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage},
booktitle = {IEEE Symposium on Security and Privacy},
pages = {417--431},
year = 2008,
address = {Oakland, CA},
month = may,
publisher = {IEEE},
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetChaudhuriOakland08.pdf},
PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetChaudhuriOakland08.pdf}
}