正好彩票[12-20] Proving that Programs are Differentially Private" "Quantitative information flow: when is one leak worse than another?"

文章來源:  |  發布時間:2019-12-20  |  【打印】 【關閉

  

Time:  

10:00 a.m.-1200 a.m.  2019-12-20 

Venue: 

Lecture room (334),  Building 5, SKLCS, Institute of Software, CAS 

Talk 1 

Proving that Programs are Differentially Private 

Speaker: 

Prof. Annabelle McIver, University of New South Wales & Data61 Sydney, Australia 

Abstract:   

In this talk we extend recent work in Quantitative Information Flow (QIF) to provide tools for the analysis of programs that aim to implement differentially private mechanisms. We demonstrate how differential privacy can be expressed using loss functions, and how to use this idea in conjunction with a QIF-enabled program semantics to verify differentially private guarantees. Finally we describe how to use this approach experimentally using Kuifje, a recently developed tool for analysing information-flow properties of programs. 

Talk 2 

Quantitative information flow: when is one leak worse than another? 

Speaker: 

Prof. Carroll Morgan,  University of New South Wales & Data61 Sydney, Australia 

Abstract:   

Cybersecurity is typically concerned with limiting the escape of private information from computer systems. In its original form, this was applied as an absolute criterion, that is "No information must flow." More recently, however, the criterion has been weakened to "No more than a certain amount of information must flow." 

But how do you measure "the amount" of information that is flowing? Recent work (the last 10 years) has shown that the traditional Shannon Entropy measure of information flow is not the answer. This talk explains why it is not the answer,  how we can move to more general measures, what they are, and what are the good properties that they have.

正好彩票The topic is related to the upcoming monograph "The Science of Quantitative Information Flow" (Springer), due in early 2020.

新浪爱彩-正好彩票 新浪爱彩-正好彩票 UU快3-正好彩票 天天乐棋牌-正好彩票 网上电玩-正好彩票 内蒙古快三-正好彩票 抢庄牛牛-正好彩票 江苏福彩 万人牛牛-正好彩票 360彩票网-正好彩票 彩票网购-正好彩票 网易彩票-正好彩票 江苏福彩网 澳门游戏平台注册网站