PPT-Indistinguishability Obfuscation for all Circuits

Sanjam Garg Craig Gentry Shai Halevi Mariana Raykova Amit Sahai Brent Waters Faces in Modern Cryptography Oct2013 A Celebration in Honor of Goldwasser and . Grey-Box . Obfuscation for General Circuits. Nir. . Bitansky. . Ran Canetti. Yael . Tauman-Kalai. . Omer . Paneth. Program Obfuscation. Obfuscated program.  .  . Obfuscation. Program.  .  . Private Key to Public Key. Auxiliary Input or a Universal Simulator. Nir. . Bitansky. . Ran Canetti. Henry Cohn. Shafi. . Goldwasser. Yael . Tauman-Kalai. . Omer Paneth. Alon. Rosen. Program Obfuscation. Obfuscated program. Wangjun. Hong, . Zhengyang. . Qu. ,. Northwestern University, IL, US, . 1. Outline. Introduction. Reverse Engineering Techniques. Design & Implementation. Results. Comparison. 2. Android App compilation. Shai Halevi. Obfuscation. China Summer School on Lattices and Cryptography, June 2014. Code Obfuscation. Encrypting programs, maintaining functionality. Only the functionality should be “visible” in the output. Applying Anti-Reversing Techniques to . Machine Code. Teodoro (Ted) Cipresso, . teodoro.cipresso@sjsu.edu. Department of Computer Science. San José State University. Spring 2015. The . information in . for Cryptographic. . Agents. Shashank Agrawal, . Manoj. . Prabhakaran. , . Ching-Hua Yu. Security Guarantee in Cryptography. A cryptographic scheme can provide certain security properties. Modern cryptography have involved properties. Boaz . Barak, . Nir. . Bitansky. , Ran Canetti,. Yael Tauman . Kalai, . Omer . Paneth, . Amit Sahai. Program Obfuscation . Obfuscated Program. Approved . Document . Signature . Obfuscation. Verify and sign. , Omer . Paneth. On Obfuscation with Random Oracles. [. Lynn-Prabhakaran-Sahai 04. ]:. Can simulation based obfuscation . be constructed with a . Random Oracle. ?. Today: . Impossible . in general!. A Candidate Obfuscator. to . confuse, bewilder, or stupefy . to . make obscure or unclear. to . darken . obfuscate. pronunciation:. . ob-. fuh. -skeyt. related forms. noun. obfuscation. adjective . obfuscatory . obfuscate. Mohammad . Mahmoody (University of Virginia). Ameer Mohammed (University of Virginia). Soheil. . Nematihaji. (University of Virginia). a. bhi. . shelat. (University of Virginia). Rafael Pass (Cornell University). Goyal. . Venkata. . Koppula. Brent Waters. Lockable Obfuscation. . . Correctness: . Challenger. Attacker. Lockable . Obfuscation: Security. OR. Guess. could . be from . high . entropy . dist.  . Rishab. Goyal. . Venkata. . Koppula. Brent Waters. Key Dependent Message Security . [B. lack. R. ogaway. S. hrimpton. 02]. Plaintexts dependent on . secret . key. Encrypted Storage Systems (e.g., BitLocker). Activator. Essential Question:. How are series and parallel circuits similar and different in how they transfer energy. ?. Standard:. S8P5b. . Demonstrate the advantages and disadvantages of series and parallel circuits and how they transfer energy. , . Alon. Rosen. On the cryptographic hardness. of finding a . nash. equilibrium. The Story Line. Games. Complexity. Crypto. Game Theory and Nash . Equilibrium. Cooperate . Defect. Cooperate . 2. \ .