PPT-Formal Abstractions for Attested Execution Secure Processor

Eurocrypt May 1 st 2017 Rafael Pass Elaine Shi Florian Tramèr Trusted hardware Different communities different world views Crypto Architecture Systems amp Security Minimal trusted . That the names of my parents and spouse are as follow s i Father ii Mother iii WifeHusband 2 That I am a continuous resident at the above mentioned address IURP57515575155751557515575155751557515575155751557361 3 That I am a citizen of India by b All Programmable Abstractions push beyond traditional RTL design methodologies to automate all aspects of system development and algorithm deployment into all programmable FPGAs SoC and 3D ICs Xilinx and its Alliance members are working together to Vyas Sekar, Petros Maniatis. ISTC for Secure Computing . . 1. Amit. . Vasudevan. , Chen . Chen. , Adrian . Perrig. . CyLab. , Carnegie Mellon University. . Ubiquity of Outsourcing Computation. Marc de . Kruijf. Karthikeyan. . Sankaralingam. Vertical . Research . Group. UW-Madison. MICRO 2011, Porto . Alegre. Idempotent Processor Architecture. 2. applications naturally . decompose into idempotent . Wen-qian Wu. EEL 6935. Shady O. . Agwa. , . Hany. H. Ahmad, . Awad. I. . Saleh. Contents. Background Introduction. 1. Self-reconfigurable Architecture. 2. Xtensa Acceleration Technique. 3. Runtime Profiling. Scalable Anonymous Communication. Mahdi . . Zamani. 1. Joint with Josh Karlin. 2. , Joud Khoury. 2. , and Jared Saia. 1. 1. University of New Mexico. 2. Raytheon BBN Technologies. Motivation. Anonymity . Language using K. Grigore . Rosu. University of Illinois at Urbana-Champaign. Joint project . between . the FSL group at UIUC (USA) . and . the FMSE group at UAIC (Romania). http://k-framework.org. K Team. Mitchell . Haygena. , . Vignayan. Reddy and . Mikko. H. . Lipasti. Padmini. Gaur( 13IS15F). . Sanchi. (13IS20F). Contents. The Need. Approaches and . Isssues. Revolver: Some basics. Loop Handling. CS. . 111. On-Line MS Program. Operating . Systems . Peter Reiher. . Introduction. Most useful abstractions an OS wants to offer can’t be directly realized by hardware. The hardware doesn’t do exactly what the abstraction requires. (for when semi-honest is only semi-good-enough). David Evans. University of Virginia. http://www.cs.virginia.edu/evans. http://www.MightBeEvil.com. DHOSA MURI Review. UVa. Falls Church. 8 December 2011. Criticality . Real-Time . Scheduling. Bader N. . Alahmad. Sathish Gopalakrishnan. Example. Platform. Single Processor. Preemptive.  . Simpler case. : Independent Job Model. independent (one-shot) jobs . Native JVM Workflow Engine. http. ://www.copper-engine.org/. Short Profile. High performance, lightweight workflow engine for Java. Outstanding:. Java is the workflow description language!. OpenSource. Lecture for CPSC 5155. Edward Bosworth, Ph.D.. Computer Science Department. Columbus State University. Chapter 4 — The Processor — . 2. MIPS Pipelined Datapath. §4.6 Pipelined Datapath and Control. Dongli. Zhang. dozhang@cs.stonybrook.edu. @ . RPE 2014. National Security Institute. Use Case 1 (PC). Application. Operating System . Application. Application. Application. Vulnerabilities.