Proved Implementations of Cryptographic Protocols in the Computational Model (bibtex)
by David Cadé
Reference:
Proved Implementations of Cryptographic Protocols in the Computational Model (David Cadé), PhD thesis, Université Paris VII, 2013.
Bibtex Entry:
@PhdThesis{Cade13c,
  author =          {David Cad{\'e}},
  title =          {Proved Implementations of Cryptographic Protocols
in the Computational Model},
  school =          {Universit{\'e} Paris VII},
  year =          2013,
  month =          dec
}
Powered by bibtexbrowser