Computationally Sound Mechanized Proofs of Correspondence Assertions (bibtex)
by Bruno Blanchet
Reference:
Computationally Sound Mechanized Proofs of Correspondence Assertions (Bruno Blanchet), In 20th IEEE Computer Security Foundations Symposium (CSF'07), 2007.
Bibtex Entry:
@InProceedings{BlanchetCSF07,
  author = 	 {Bruno Blanchet},
  title = 	 {Computationally Sound Mechanized Proofs of Correspondence Assertions},
  booktitle =	 {20th IEEE Computer Security Foundations Symposium (CSF'07)},
  pages =	 {97--111},
  year =	 2007,
  address =	 {Venice, Italy},
  month =	 jul,
  organization = {IEEE},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetCSF07.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetCSF07.pdf}
}
Powered by bibtexbrowser