<div dir="ltr"><div class="gmail_quote"><div dir="ltr">At this week&#39;s seminar, our own Dimitris Papadopoulos will talk about verifiable queries on outsourced databases.  This Friday December 5 we host the Charles River Crypto Day at BU.  And our final seminar for the semester will be on Wed Dec 10, with Vinod Vaikuntanathan. Abstracts below.<br><br>Sharon<br><br>BUsec Calendar:  <a href="http://www.bu.edu/cs/busec/" target="_blank">http://www.bu.edu/cs/busec/</a><br>BUsec Mailing list: <a href="http://cs-mailman.bu.edu/mailman/listinfo/busec" target="_blank">http://cs-mailman.bu.edu/mailman/listinfo/busec</a><br>The busec seminar gratefully acknowledges the support of BU&#39;s Center for Reliable Information Systems and Cyber Security (RISCS).<br><br>****<br><br>Title: Verifiable Queries on Outsourced Datasets: <br>General Models, Cryptographic Tools and Constructions for Specific Functions<br>Speaker: Dimitris Papadopoulos, BU<br>December 3, 2014. 10-11:30am<br>Hariri Seminar Room<br><br>Abstract: Outsourcing of data and computation has emerged as common practice for enterprises and individuals, in particular in the context of cloud computing. One security concern that arises in this context is that of integrity-of-computation; how can parties querying the outsourced data be certain for the correctness of the results they receive, even in the presence of a malicious distributing server. In this talk I will go over some different models of interaction that arise in this context between data owners, servers and clients and demonstrate general security solutions using cryptographic tools. Finally, I will present in detail our recent result  for the case of multi-dimensional range queries that  appeared in ACM CCS&#39;14 (joint work with Stavros Papadopoulos from Intel &amp; MIT and Nikos Triandopoulos from RSA Laboratories &amp; Boston University).<br><br>****<br>Charles River Crypto Day<br>BU Hariri Institute, 111 Cummington St, room MCS180.<br>Friday December 5, 2014.<br><br>Schedule<br><br>9:30 – 10:00. Introduction/Coffee<br>10:00 – 11:00. Yuval Ishai, Technion. <br>Circuits Resilient to Additive Attacks, with Applications to Secure Computation<br>11:30 – 12:30. Omer Paneth, Boston University<br>Publicly-Verifiable Non-Interactive Arguments for Delegating Computations<br>12:30 – 2:00. Lunch (provided)<br>2:00 – 3:00. Elaine Shi, University of Maryland<br>Programs to Circuits: Towards a Programming Language for Cryptography<br>3:30 – 4:30. Sergey Gorbunov, MIT<br>Leveled Fully Homomorphic Signatures from Standard Lattices<br></div></div><div><br></div><div>****</div><div>Title: TBA</div><div>Speaker: Vinod Vaikuntanathan, MIT<br>December 10, 2014. 10-11:30am<br>Hariri Seminar Room<br></div>
</div>