BlanchetCADE05

Bruno Blanchet Back to publications
Bruno Blanchet. An Automatic Security Protocol Verifier based on Resolution Theorem Proving (invited tutorial). In 20th International Conference on Automated Deduction (CADE-20), Tallinn, Estonia, July 2005.

Get the paper

.ps.gz, 72 Kb

Bibtex


@INPROCEEDINGS{BlanchetCADE05,
  AUTHOR = {Bruno Blanchet},
  TITLE = {An Automatic Security Protocol Verifier based on Resolution Theorem Proving (invited tutorial)},
  BOOKTITLE = {20th International Conference on Automated Deduction (CADE-20)},
  YEAR = 2005,
  ADDRESS = {Tallinn, Estonia},
  MONTH = JUL
}


E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)