BlanchetCADE05

Back to ProVerif

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. Survey

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
}