Towards Formal Linear Cryptanalysis using HOL4 - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Osman Hasan, Syed Ali Khayam. Towards Formal Linear Cryptanalysis using HOL4. J. UCS, 20(2):193-212, 2014. [doi]

@article{HasanK14-1,
  title = {Towards Formal Linear Cryptanalysis using HOL4},
  author = {Osman Hasan and Syed Ali Khayam},
  year = {2014},
  url = {http://www.jucs.org/jucs_20_2/towards_formal_linear_cryptanalysis},
  researchr = {https://researchr.org/publication/HasanK14-1},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {20},
  number = {2},
  pages = {193-212},
}

runs on WebDSL