Invited Paper: The Fine Print of Security (at LICS 2010)
Authors: Martín Abadi
Abstract
No Abstract Available
BibTeX
@InProceedings{Abadi-TheFinePrintofSecur, author = {Martín Abadi}, title = {The Fine Print of Security}, booktitle = {Proceedings of the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010)}, year = {2010}, month = {July}, pages = {110}, location = {Edinburgh, Scotland, UK}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }