Katholieke Universiteit Leuven
ライメンは1993年、ルーヴェン・カトリック大学(K.U.Leuven)で電子工学の学位を取得した。その後、同大学のESAT/（Computer Security and Industrial Cryptography）研究所で博士課程の学生となり、1997年に博士論文「繰り返しブロック暗号の暗号解析と設計(Cryptanalysis and Design of Iterated Block Ciphers)」を提出した。