PPT-MiniLEGO : Efficient Secure Two-Party Computation From General Assumptions

Tore Frederiksen Thomas Jakobsen Jesper Nielsen Peter Nordholt Claudio Orlandi 27082016 The LEGO Approach for Maliciously Secure TwoParty Computation 1 What we will present. Minimal Interaction, Revisited . Yuval . Ishai. (. Technion. ). . Ranjit . Kumaresan. (MIT). Eyal. . Kushilevitz. . (. Technion. ). Anat. . Paskin-Cherniavsky. (Ariel). Secure Multiparty Computation. : A Programming Language for Generic, Mixed-Mode Multiparty Computations . Aseem Rastogi. Matthew Hammer, Michael Hicks. To Appear in IEEE S&P 2014 (Oakland). What is Secure Computation. . A. . (Lecture 1). Arpita. . Patra. Welcome to an exciting Journey .  . >> . Course Homepage. : . http://. drona.csa.iisc.ernet.in. /~. arpita. /SecureComputation15. .html . >> References:. Professor, Computer Science, UMD. Director, Maryland Cybersecurity Center. . Secure . Computation. Mathematics. Complexity . theory. C. ryptography. Cybersecurity. Science of . Cybersecurity. C. ryptography. Secure . Computation. Chongwon Cho. . (HRL Laboratories). Sanjam. . Garg. (IBM T.J. Watson). . Rafail. . Ostrovsky. (UCLA). 2. Secure . Computation [Yao, GMW]. Alice and Bob. Alice holds input . Secure Multi-Party Computation. Debayan Gupta. Yale University. May 11, 2016. Jai . Dadabhai. The Apparent Paradox of . Modern Cryptography. Intuitive ideas of secrecy. Encrypted data are safe; but they appear to be unusable. Ranjit . Kumaresan. (MIT). Based on joint works with . Iddo. . Bentov. (. Technion. ), Tal Moran (IDC), Guy . Zyskind. (MIT). x. f. . (. x,y. ). y. f. . (. x,y. ). Secure Computation. Most general problem in cryptography. . Kartik . Nayak. With Xiao . Shaun . Wang, . Stratis. Ioannidis, Udi . Weinsberg. , Nina Taft, Elaine Shi. 1. 2. Users. Data. Data. Privacy concern!. Data Mining Engine. Data Model. Data Mining on User Data. Secure Multi-Party Computation. Debayan Gupta. Yale University. May 11, 2016. Jai . Dadabhai. The Apparent Paradox of . Modern Cryptography. Intuitive ideas of secrecy. Encrypted data are safe; but they appear to be unusable. Prediction markets & real-world data feeds. Assertions about the outside world . Idea. : add a mechanism to assert facts. election outcomes. sports results. commodity prices. Bet or hedge results using smart contracts. Payman. . Mohassel. Yahoo Labs. 1. Do We Have the Same Person. in Mind?. Alice. Bob. Jack. . Joe. o. nly reveal . Yes/No. Solutions?. You have access to a trusted computer. You can use an airline reservation service. Prediction markets & real-world data feeds. Assertions about the outside world . Idea. : add a mechanism to assert facts. election outcomes. sports results. commodity prices. Bet or hedge results using smart contracts. Fair Protocols. Iddo. . Bentov. (. Technion. ). . Ranjit Kumaresan (. Technion. ). ePrint. 2014/129. x. f. . (. x,y. ). y. f. . (. x,y. ). Secure Computation. Most general problem in cryptography. Chongwon Cho. . (HRL Laboratories). Sanjam. . Garg. (IBM T.J. Watson). . Rafail. . Ostrovsky. (UCLA). 2. Secure . Computation [Yao, GMW]. Alice and Bob. Alice holds input . x. .. Bob holds input .