Short Presentation: A Language and a Notion of Truth for Cryptographic Properties (at LICS 2003)
Authors: Simon KramerAbstract
No Abstract Available
BibTeX
@InProceedings{Kramer-ALanguageandaNotion, author = {Simon Kramer}, title = {A Language and a Notion of Truth for Cryptographic Properties}, booktitle = {Proceedings of the Eighteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2003}, year = 2003, editor = {Phokion G. Kolaitis}, month = {June}, location = {Ottawa, Canada}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }