Master Thesis Thesis submitted in conformity with the requirements for the degree of Master of Science in Information Security Technology at the Eindhoven University of Technology. Supervisors: prof. dr. Tanja Lange prof. dr. Daniel J. Bernstein