Development of Secure Software - KU Leuven - 2016-2017 Project and report Project and report file for KU Leuven course: Development of Secure Software School year 2016 -2017