CS 9622 - Fall 2017 : Abstraction, indirection, and Sevareid’s Law: Towards benign computing (paper)