https://www.dsf.unict.it/en/courses/lm-13_ctf/course-overview