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