Our Publications

by Adrian Perrig and Dawn Song
Reference:
Looking for Diamonds in the Desert — Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols. Adrian Perrig and Dawn Song. In Proceedings of Computer Security Foundations Workshop (CSFW) 2000.
Bibtex Entry:
@InProceedings{PeSo2000b,
    author =       {Adrian Perrig and Dawn Song},
    title =        {Looking for Diamonds in the Desert --- Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols},
    url = {/publications/papers/csfw.pdf},
    booktitle =    {Proceedings of Computer Security Foundations Workshop (CSFW)},
    year =         2000,
    month =        jul
}