Secure Outsourcing of Computation Ron Rothblum MIT Outsourcing - PowerPoint PPT Presentation

Aug 30, 2022 •316 likes •377 views

Secure Outsourcing of Computation Ron Rothblum MIT Outsourcing Computation Motivation: allow a computationally weak client to outsource its computation to an untrusted server. = () Main security concerns: 1. Correctness:

Secure Outsourcing of Computation Ron Rothblum MIT
Outsourcing Computation Motivation: allow a computationally weak client to outsource its computation to an untrusted server. 𝑦 𝑧 = 𝑔(𝑦) Main security concerns: 1. Correctness: 𝑧 = 𝑔 𝑦 ? 2. Privacy: cloud learns our secret data 𝑦 .
Doubly Efficient Interactive Proofs [GKR08] Double efficiency requirement: 1. The verifier should be super efficient. 2. The prover should be relatively efficient. Also want to minimize the interaction.
Some Results • Linear-time constant-round verification for 𝑈𝐽𝑇𝑄(poly 𝑜 , 𝑜 𝜗 ) with statistical soundness (together with Omer Reingold and Guy Rothblum). • Linear-time 1-round verification for P with computational soundness, under cryptographic assumptions (together with Ran Raz and Yael Kalai). • Study of sub-linear time verification (joint works with Oded Goldreich, Tom Gur and Yael Kalai).

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Efficient Outsourcing GWAS using FHE Wenjie Lu, Jun Sakuma * Dept. of CS, University of

Efficient Outsourcing GWAS using FHE Wenjie Lu*, Jun Sakuma * * Dept. of CS, University of Tsukuba, Japan JST CREST Secure Outsourcing GWAS Secure computation [Cloud] Outline of our solution [data holder] Secure

381 views • 19 slides

Secure Outsourcing Computation Li Xiong Outline Cloud computing Computing on encrypted

CS573 Data Privacy and Security Secure Outsourcing Computation Li Xiong Outline Cloud computing Computing on encrypted data Homomorphic encryption What is Cloud Computing ? Cloud computing Type of computing that relies on sharing

1.29k views • 62 slides

Doubly Efficient Interactive Proofs Ron Rothblum Outsourcing Computation Weak client outsources

Doubly Efficient Interactive Proofs Ron Rothblum Outsourcing Computation Weak client outsources computation to the cloud. = () Outsourcing Computation We do not want to blindly trust the cloud. = () Key

462 views • 21 slides

Secure computation With material from Matthew Green, Elaine Shi, CS Unplugged, others Secure

https://2.bp.blogspot.com/-Q_39kDXs93c/UOecpSOTX5I/AAAAAAAAA2k/WaIfMiKzQOw/s1600/eniac1+%281%29.jpg Secure computation With material from Matthew Green, Elaine Shi, CS Unplugged, others Secure computation Zero-knowledge proofs

465 views • 33 slides

Outsourcing Private RAM Computation Craig Gentry Shai Halevi Mariana Raykova Daniel Wichs

Outsourcing Private RAM Computation Craig Gentry Shai Halevi Mariana Raykova Daniel Wichs Private Outsourcing Client wants to leverage resources of a powerful server to compute () without revealing . Efficiency

141 views • 10 slides

Round-Optimal Secure Multiparty Computation with Honest Majority Prabhanjan Ananth Arka Rai

Round-Optimal Secure Multiparty Computation with Honest Majority Prabhanjan Ananth Arka Rai Choudhuri Aarushi Goel Abhishek Jain CRYPTO 2018 Secure Multiparty Computation ! # ! $ ! " ! % Secure Multiparty Computation Securely compute

1.18k views • 102 slides

Secure Computation ORAM The Case of 3-Party Computation Stanislaw Jarecki, UC Irvine

Secure Computation ORAM The Case of 3-Party Computation Stanislaw Jarecki, UC Irvine Cryptography in the RAM Model Workshop, Cambridge, MA, June 2016 AC15: Sky Faber, S.J. , Sotirios Kentros, Boyang Wei New Work: S.J. , Boyang Wei Secure

595 views • 23 slides

Secure Multi-Party Computation Gunnar Kreitz KTH Royal Institute of Technology

Background Secure Computation Security Model Generic Protocol Applications Secure Multi-Party Computation Gunnar Kreitz KTH Royal Institute of Technology gkreitz@kth.se October 4 2012 Gunnar Kreitz Secure Multi-Party Computation

1.28k views • 59 slides

Secure Data Outsourcing with Adversarial Data Dependency Constraints BigDataSecurity 2016

Secure Data Outsourcing with Adversarial Data Dependency Constraints BigDataSecurity 2016 Boxiang Dong Wendy Hui Wang Jie Yang Department of Computer Science School of Software Engineering Stevens Institute of Technology South China

641 views • 22 slides

Secure Computation with Low Communication from Cross-checking Dov Gordon (George Mason U.)

Secure Computation with Low Communication from Cross-checking Dov Gordon (George Mason U.) Samuel Ranellucci (Unbound Tech) Xiao Wang (MIT & Boston U.) Secure Computation 4 parties each hold private data. They wish to compute C(x 1

414 views • 24 slides

Communication Locality in C i i L li i Secure Multi Party Secure Multi-Party Computation

Communication Locality in C i i L li i Secure Multi Party Secure Multi-Party Computation Computation How to Run Sublinear Algorithms in a Distributed Algorithms in a Distributed Setting Elette Boyle Shafi Goldwasser Stefano Tessaro

1.01k views • 36 slides

The Exact Round Complexity of Secure Computation Antigoni Polychroniadou (Aarhus University)

The Exact Round Complexity of Secure Computation Antigoni Polychroniadou (Aarhus University) joint work with Sanjam Garg, Pratyay Mukherjee (UC Berkeley), Omkant Pandey (Drexel University) Background: Secure Multi-Party Computation x 1 f(x 1 ,

750 views • 54 slides

Non-Interactive Secure Computation from One-Way Functions Saikrishna Badrinarayanan Abhishek

Non-Interactive Secure Computation from One-Way Functions Saikrishna Badrinarayanan Abhishek Jain (UCLA) (JHU) Rafail Ostrovsky Ivan Visconti (UCLA) (University of Salerno) Secure Two Party Computation Function f Input x Input y P 2 P 1

443 views • 21 slides

Fair Secure Computation (or how can I gain strategic advantage by breaking fairness) Alptekin

Rump Session 2016 Fair Secure Computation (or how can I gain strategic advantage by breaking fairness) Alptekin Kp Ko University Fair Secure Computation ALPTEKN KP Assistant Professor of Computer Science and Engineering

429 views • 27 slides

Adaptively Secure Multi-Party Computation with Dishonest Majority Sanjam Garg Amit

Adaptively Secure Multi-Party Computation with Dishonest Majority Sanjam Garg Amit Sahai UCLA Secure Multiparty Computation A set of mutually distrustful parties (n) wish to compute a joint function of their private inputs

309 views • 16 slides

Introduction to Secure Multi-Party Computation Many thanks to Vitaly Shmatikov of the

Introduction to Secure Multi-Party Computation Many thanks to Vitaly Shmatikov of the University of Texas, Austin for providing these slides. slide 1 Motivation General framework for describing computation between parties who do not

1.03k views • 35 slides

Orchid Petals A place where nature is in complete harmony with urban life style! TABLE OF

Orchid Petals A place where nature is in complete harmony with urban life style! TABLE OF CONTENTS ABOUT ORCHID INFRASTRUCTURE DEVELOPERS ...................................3 LANDMARKS CREATED BY ORCHID

683 views • 15 slides

Application Migration for Geographically Shifting Workloads Robbert van Renesse Cornell

Follow the Sun through the Clouds: Application Migration for Geographically Shifting Workloads Robbert van Renesse Cornell University Joint work with Zhiming Shen, Qin Jia, Gur-Eyal Sela, Ben Rainero Weijia Song, Hakim Weatherspoon 1

532 views • 24 slides

Munster Vales Roc ock of of Ca Cash shel Market Research Filte Ireland, Tourism

Munster Vales Roc ock of of Ca Cash shel Market Research Filte Ireland, Tourism Ireland, Irelands Ancient East County Strategies Waterford, Cork and Tipperary Regional Strategies Munster Vales Feasibility Study

309 views • 28 slides

HELCOM and non-HELCOM countries applied in CART calculations Bo Gustafsson, BNI

Transboundary riverine inputs from HELCOM and non-HELCOM countries applied in CART calculations Bo Gustafsson, BNI bo.gustafsson@su.se www.balticnest.org What is it about? Environmental Politics/Policy Clear water objectives

300 views • 28 slides

Language development versus language endangerment: Assessing the situation worldwide Gary F.

Language development versus language endangerment: Assessing the situation worldwide Gary F. Simons SIL International IAS and GILLBT conference on Language and Culture in National Development, University of Ghana, Legon, 1213 April 2012

645 views • 22 slides

County Council Municipal District of Cappamore- Kilmallock THURSDAY, 15 TH JUNE 2017 New Office

Presentation to Limerick City and County Council Municipal District of Cappamore- Kilmallock THURSDAY, 15 TH JUNE 2017 New Office of Communications/Marketing Corporate Communications Media releases (370+ per year) Social Media

615 views • 24 slides

What Kind of Language Is Hard to Language-Model? ACL 2019 Sebastian J. Mielke and Ryan Cotterell,

What Kind of Language Is Hard to Language-Model? ACL 2019 Sebastian J. Mielke and Ryan Cotterell, Kyle Gorman, Brian Roark, Jason Eisner Johns Hopkins University // City University of New York Graduate Center // Google sjmielke@jhu.edu Twitter:

1.3k views • 85 slides

ONPAR golf advertising ONPAR golf advertising WHY ADVERTISE TO CONSUMERS AND BUSINESS OWNERS

ONPAR golf advertising ONPAR golf advertising WHY ADVERTISE TO CONSUMERS AND BUSINESS OWNERS WHO PLAY GOLF? Engaged community that socialise together and influence each other #1 participation 5 million rounds of sport in New Zealand

696 views • 17 slides