@article{Franklin2018, author = "Jason Franklin and Mark Luk and Arvind Seshadri and Adrian Perrig", title = "{PRISM: Enabling Personal Verification of Code Integrity, Untampered Execution, and Trusted I/O on Legacy Systems or Human-Verifiable Code Execution}", year = "2018", month = "6", url = "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", doi = "10.1184/R1/6467999.v1" }