Modified to compile with lncs style
Merge branch 'cryptoRedo' of https://github.com/leithaus/GLoSEval into cryptoRedo