FYI.<br><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Nora Conroy</b> <span dir="ltr">&lt;<a href="mailto:conroynm@bu.edu">conroynm@bu.edu</a>&gt;</span><br>Date: Wed, Apr 24, 2013 at 3:57 PM<br>

Subject: Seminar tomorrow @ 3pm<br>To: &quot;<a href="mailto:colloq-l@cs.bu.edu">colloq-l@cs.bu.edu</a>&quot; &lt;<a href="mailto:colloq-l@cs.bu.edu">colloq-l@cs.bu.edu</a>&gt;<br>Cc: <a href="mailto:busec@cs.bu.edu">busec@cs.bu.edu</a><br>

<br><br><div dir="ltr"><div style="text-align:center"><b>A Language for Differential Privacy <br>Dr. Marco Gaboardi, Penn<br></b></div><div style="text-align:center"><b>Thursday, April 25, 2013 in MCS 137, 3pm</b><br></div>

<div><b><br>
Abstract: </b>Differential privacy offers a way to answer queries about sensitive information while offering strong, provable privacy guarantees. Several tools have been developed for certifying that a given query is differentially private. In this talk, I will present one approach, based on a functional programming language named Fuzz, that we are developing at the University of Pennsylvania.<br>


One of the most common mechanisms for turning a (possibly privacy-leaking) query into a differentially private consists in adding noise to the result of a query. To ensure the privacy guarantee, the noise must be proportional to the query sensitivity: how much the result of a query can change with respect to linear changes in the input. Fuzz uses linear indexed types and lightweight dependent types to express a rich sensitivity analysis, and a probability monad to express randomized computation. The soundness of Fuzz guarantees that any program that has a certain type is differentially private. So, Fuzz can be used to certify differentially private a broad class algorithms. Moreover, its type analysis can be used more in general to perform sensitivity checking and sensitivity inference.<br clear="all">


<div><div dir="ltr"><br></div><div>Hosted by Hongwei Xi<br></div></div>
</div></div>
</div><br><br clear="all"><br>-- <br>Sharon Goldberg<br>Computer Science, Boston University<br><a href="http://www.cs.bu.edu/~goldbe" target="_blank">http://www.cs.bu.edu/~goldbe</a>