SPARKSkein: A Formal and Fast Reference Implementation of Skein

Roderick Chapman, Eric Botcazou, Angela Wallenburg. SPARKSkein: A Formal and Fast Reference Implementation of Skein. In Adenilso da Silva Simão, Carroll Morgan, editors, Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Volume 7021 of Lecture Notes in Computer Science, pages 16-27, Springer, 2011. [doi]

@inproceedings{ChapmanBW11,
  title = {SPARKSkein: A Formal and Fast Reference Implementation of Skein},
  author = {Roderick Chapman and Eric Botcazou and Angela Wallenburg},
  year = {2011},
  doi = {10.1007/978-3-642-25032-3_2},
  url = {http://dx.doi.org/10.1007/978-3-642-25032-3_2},
  researchr = {https://researchr.org/publication/ChapmanBW11},
  cites = {0},
  citedby = {0},
  pages = {16-27},
  booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers},
  editor = {Adenilso da Silva Simão and Carroll Morgan},
  volume = {7021},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-25031-6},
}