Open Science Research Excellence
Markus Kaiser and  Johannes Buchmann,  Computer Verification in Cryptography.   journal   = {International Journal of Computer, Electrical, Automation, Control and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. December 2007, vol. 12(12). 4148 - 4153[viewed 26 May 2019]. Available from: http://waset.org/publications/2218.