<div dir="ltr">Happy Thanksgiving!<br><br>Before everyone disappears for the break, a few announcements. Ben Fuller&#39;s PhD Defense (on key derivation from noisy sources) is today at 2.30pm.  At next week&#39;s seminar, our own Dimitris Papadopoulos will talk about verifiable queries on outsourced databases.  We host the Charles River Crypto Day, next Friday December 5 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/">http://www.bu.edu/cs/busec/</a><br>BUsec Mailing list: <a href="http://cs-mailman.bu.edu/mailman/listinfo/busec">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>PhD Defense: Strong Key Derivation from Noisy Sources<br>Ben Fuller, BU<br>Tuesday, November 25, 2014 at 2:30pm<br>MCS 180 – Hariri Institute<br><br>A shared cryptographic key enables strong authentication.  Candidate sources for creating such a shared key include biometrics and physically unclonable functions.  However, these sources come with a substantial problem: noise in repeated readings.<br><br>A fuzzy extractor produces a stable key from a noisy source.  For many sources of practical importance, traditional fuzzy extractors provide no meaningful security guarantee.  This dissertation improves fuzzy extractors.<br><br>First, we show how to incorporate structural information about the physical source to facilitate key derivation.  Second, most fuzzy extractors work by first recovering the initial reading from the noisy reading.  We improve key derivation by producing a consistent key without recovering the original reading.  Third, traditional fuzzy extractors provide information-theoretic security.  We build fuzzy extractors achieving new properties by only providing security against computational bounded adversaries.<br><br>Committee:<br>Leonid Reyzin (Advisor and First Reader)<br>Ran Canetti (Second Reader)<br>Daniel Wichs (NEU, Third Reader)<br>Sharon Goldberg<br>Steve Homer (Committee Chair)<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><br>Thanks: NSF Frontier Award: Modular Approach to Cloud Security (MACS), Hariri Institute for Computing and Center for RISCS. And a special thanks to Leo Reyzin for his help hosting Crypto Day at BU<br><br></div>