selected publications conference paper Software-design for internal security checks with dynamic Integrity Measurement (DIM). . 2017