10.1184/R1/6467999.v1 Jason Franklin Jason Franklin Mark Luk Mark Luk Arvind Seshadri Arvind Seshadri Adrian Perrig Adrian Perrig PRISM: Enabling Personal Verification of Code Integrity, Untampered Execution, and Trusted I/O on Legacy Systems or Human-Verifiable Code Execution Carnegie Mellon University 2007 CyLab tech report 2007-02-03 00:00:00 Journal contribution https://kilthub.cmu.edu/articles/journal_contribution/PRISM_Enabling_Personal_Verification_of_Code_Integrity_Untampered_Execution_and_Trusted_I_O_on_Legacy_Systems_or_Human-Verifiable_Code_Execution/6467999 Today’s computer users receive few assurances that their software executes as expected. The problem is that legacy devices do not enable personal verification of code execution. In addition, legacy devices lack trusted paths for secure user I/O making it difficult to ensure the privacy of data. We present PRISM, a software-only human-verifiable code execution system that temporally separates a legacy computer system into a trusted component and an untrusted component. PRISM enables a user to securely interact with applications by establishing a trusted path and enables personal verification of untampered application execution. PRISM enables the development of a new class of applications which we term personally verifiable applications (PVAs). PVAs have the property that a user can both securely interact with and execute these applications even in the face of a kernel-level compromise. We develop a personally verifiable digital signature application that assures the user that the password-protected private key is not misused and that neither the private key nor the password are disclosed to malware on the device. We describe an implementation of this application on a personal device, and evaluate the usability of our approach with a user study.