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]

Authors

Roderick Chapman

This author has not been identified. Look up 'Roderick Chapman' in Google

Eric Botcazou

This author has not been identified. Look up 'Eric Botcazou' in Google

Angela Wallenburg

This author has not been identified. Look up 'Angela Wallenburg' in Google