Biclique cryptanalysis of MIBS-80 and PRESENT-80 block ciphers - doi 10.1002/sec.1375 2016-01 Article type Journal