{"id":1279,"date":"2012-11-25T10:53:10","date_gmt":"2012-11-25T14:53:10","guid":{"rendered":"https:\/\/www.bu.edu\/riscs\/?p=1279"},"modified":"2017-04-06T13:40:46","modified_gmt":"2017-04-06T17:40:46","slug":"2nd-charles-river-crypto-day","status":"publish","type":"post","link":"https:\/\/www.bu.edu\/riscs\/2012\/11\/25\/2nd-charles-river-crypto-day\/","title":{"rendered":"2nd Charles River Crypto Day"},"content":{"rendered":"

The 2nd<\/sup> Annual Charles River Crypto Day will be held on Friday, November 30th, 2012, from 9:30 a.m. to 4 p.m at Boston University\u2019s Rafik B. Hariri Institute for Computing and Computational Sciences Engineering, at 111 Cummington Mall, Boston, MA 02215. The event is free and open to the public.<\/p>\n

Sponsored and hosted by the Hariri Institute and the BU Center for Reliable Information Systems and Cyber Security (RISCS), \u00a0the Charles River Crypto Day brings together academics and research scientists from local universities and research labs to discuss recent advances in cryptography. The Charles River Crypto Day series, which is open to the public, is a recurring networking opportunity for faculty, postdocs, graduate students, and research scientists pursuing basic cryptography research in the Greater Boston Area.<\/p>\n

<\/p>\n

Program<\/b><\/h2>\n

9:30-10:00 Gathering and breakfast<\/b><\/p>\n

10:00-11:00 Vinod Vaikuntanathan, University of Toronto
\n<\/b>Functional Encryption, Reusable Garbled Circuits and more<\/i><\/p>\n

We construct a functional encryption scheme for all circuits, where the size of the ciphertext grows with the depth of the circuit. Previously, the only known constructions of functional encryption were either for specific inner product predicates, or for a weak form of functional encryption where the ciphertext size grows with the *size* of the circuit for f. Our constructions are secure under the learning with errors assumption.<\/p>\n

We demonstrate the power of this result, by using it to construct a reusable circuit garbling scheme with input and circuit privacy: an open problem that was studied extensively by the cryptographic community during the past 30 years since Yao\u2019s introduction of a one-time circuit garbling method in the mid 80\u2019s. Our scheme also leads to a new paradigm for general function obfuscation which we call token-based obfuscation.<\/p>\n

11:30 \u2013 12:30\u00a0 Ran Raz, Weizmann Institute and IAS<\/b><\/p>\n

Delegation for Bounded Space<\/i><\/p>\n

The problem of delegating computation considers a setting where one party, the delegator (or verifier), wishes to delegate a computation to another party, the worker (or prover).\u00a0 The challenge is that the delegator may not trust the worker, and thus it is desirable to have the worker \u201cprove\u201d that the computation was done correctly.<\/p>\n

Computation delegation became a central problem in cryptography, especially with the increasing popularity of cloud computing, where weak devices use cloud platforms to run their computations.<\/p>\n

We give a 1-round delegation scheme for every language computable in time $t=t(n)$ and space $s=s(n)$, where the running time of the prover is $\\poly(t)$ and the running time of the verifier is $\\tilde{O}(n + \\poly(s))$.<\/p>\n

The proof exploits a curious connection between the problem of {\\em computation delegation} and the model of {\\em multi-prover interactive proofs that are sound against no-signaling (cheating) strategies}, a model that was studied in the context of quantum computation, and is motivated by the physical principle that information cannot travel faster than light.<\/p>\n

We give a new construction of multi-prover interactive proofs (MIP) that are sound against no-signaling (cheating) strategies. We then show how to use the method suggested by Aiello et al. to convert our MIP into a 1-round delegation scheme, by using a computational private information retrieval (PIR) scheme.<\/p>\n

Joint work with Yael Tauman Kalai and Ron Rothblum<\/p>\n

Lunch (provided)<\/b><\/p>\n

1:30\u00a0 \u2013 2:30\u00a0 Assumptions Daniel Wichs, IBM Research<\/b><\/p>\n

Reduction-Resilient Cryptography:\u00a0 Security Goals that Resist Reductions from All Standard <\/i><\/p>\n

<\/i><\/p>\n

This talk will explore several recent black-box separation results with a common theme: some desirable security notions have a \u201cnon-standard\u201d structure that resists black-box reductions from all \u201cstandard\u201d assumptions. We formalize the notion of\u00a0 \u201cstandard\u201d\u00a0assumptions and security notions as ones that have the format of a (possibly interactive) game between a challenger and an attacker, where the challenger interacts with the attacker as a black box. This captures essentially all of our favorite cryptographic assumptions\u00a0including: FACTORING, CDH, DDH, RSA. LWE, etc. The \u201cnon-standard\u201d\u00a0security notions we explore appear diverse,\u00a0 but have a common thread of reasoning about adversarial distributions and leakage. In particular, we give separation results for: leakage-resilience with a unique secret, deterministic encryption on correlated messages, tools for generating and condensing pseudo-entropy, and instantiating the Fiat-Shamir heuristic for all proof-systems.<\/p>\n

This talk is partially based on joint work with Nir Bitansky and Sanjam Garg.<\/p>\n

2:45 -3:45\u00a0 Salil Vadhan, Harvard University<\/b><\/p>\n

The Computational Complexity of Differential Privacy <\/i><\/p>\n

A major challenge in data privacy research is to enable the wide analysis of datasets with potentially sensitive information about individuals, while ensuring that the privacy of those individuals is protected.\u00a0 Over the past decade, differential privacy has emerged as strong privacy protection model that supports a very rich variety of useful analyses.\u00a0 However, computational complexity has turned out to be an obstacle for achieving one of the most exciting possibilities of differential privacy \u2014 noninteractively publishing a private \u201csummary\u201d\u00a0of a dataset that enables answering up to exponentially many statistical queries about the dataset (such as all multivariate marginal statistics).<\/p>\n

Whether these complexity barriers can be broken remains an intriguing open problem, but we will describe both negative and positive results that shed light on what can be achieved.\u00a0 On the negative side, we prove that if we require the summary to be a \u201csynthetic dataset,\u201d then generating the summary is as hard as forging digital signatures, even if we want to preserve very simple statistics (2-way marginals, i.e. correlations between pairs of attributes).\u00a0 On the positive side, we provide an algorithm for generating less structured summaries (based on polynomial approximations) in subexponential time, even for an exponential-sized family of statistics (all multivariate marginals).<\/p>\n

Based on joint works with Justin Thaler and Jon Ullman.<\/p>\n

We wish to thank BU\u2019s Rafik B. Hariri Institute for Computing and Computational Science & Engineering<\/a> and the Center for Reliable Information Systems and Cyber Security<\/a> (RISCS) for making this event possible via generous support.<\/b><\/p>\n","protected":false},"excerpt":{"rendered":"

The 2nd Annual Charles River Crypto Day will be held on Friday, November 30th, 2012, from 9:30 a.m. to 4 p.m at Boston University\u2019s Rafik B. Hariri Institute for Computing and Computational Sciences Engineering, at 111 Cummington Mall, Boston, MA 02215. The event is free and open to the public. Sponsored and hosted by the […]<\/p>\n","protected":false},"author":1433,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[3897,1],"tags":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/posts\/1279"}],"collection":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/users\/1433"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/comments?post=1279"}],"version-history":[{"count":11,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/posts\/1279\/revisions"}],"predecessor-version":[{"id":2121,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/posts\/1279\/revisions\/2121"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/media?parent=1279"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/categories?post=1279"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.bu.edu\/riscs\/wp-json\/wp\/v2\/tags?post=1279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}