Improved Machine Learning-Aided Linear Cryptanalysis: Application to DES | AMiner