KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. - Bernhard Garn; Fabian Würfl; Dimitris E. Simos (Haifa Verification Conference, 2017)