1
by Kościelny, Czesław, Kurkowski, Mirosław, Srebrny, Marian
Published 2013
Springer Berlin Heidelberg
..., including their software engineering correctness verification, and various methods of cryptanalysis...