URL:  https://wwwen.uni.lu/research/fstm/laboratory_of_algorithmics_cryptology_and_security_lacs/members/sjouke_mauw2 Date:  Sunday, 26 June 2022, 19:17