by Bruno Blanchet
Reference:
A Computationally Sound Mechanized Prover for Security Protocols (Bruno Blanchet), In IEEE Symposium on Security and Privacy, 2006.
Bibtex Entry:
@InProceedings{BlanchetOakland06,
author = {Bruno Blanchet},
title = {A Computationally Sound Mechanized Prover for Security Protocols},
booktitle = {IEEE Symposium on Security and Privacy},
pages = {140-154},
year = 2006,
address = {Oakland, California},
month = may,
url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetOakland06.pdf},
PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetOakland06.pdf}
}