Bart Preneel, IBBT-K.U. Leuven, ESAT/COSIC