A Computationally Sound Mechanized Prover for Security Protocols - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bruno Blanchet. A Computationally Sound Mechanized Prover for Security Protocols. IACR Cryptology ePrint Archive, 2005:401, 2005. [doi]

@article{Blanchet05-0,
  title = {A Computationally Sound Mechanized Prover for Security Protocols},
  author = {Bruno Blanchet},
  year = {2005},
  url = {http://eprint.iacr.org/2005/401},
  researchr = {https://researchr.org/publication/Blanchet05-0},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2005},
  pages = {401},
}

runs on WebDSL