Markus Kaiser and Johannes Buchmann, Formal Analysis of a Public-Key Algorithm. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. September 2007, vol. 9(9). 2761 - 2768 [viewed 19 September 2024]. Available from: https://publications.waset.org/pdf/6288.