Markus Kaiser and  Johannes Buchmann,  Computer Verification in Cryptography.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    December 2007, vol. 12(12). 4148 - 4153
    [viewed 24 April 2024]. Available from: https://publications.waset.org/pdf/2218.