[logic-ml] Talk by Sato Tetsuya, 14 Tue Jun

[Takumi Akazaki]

皆様、(重複して受け取られた方はご容赦ください)

東京大学蓮尾研の赤崎と申します。
以下の要領で、来週の火曜日に、京大数理研の佐藤哲也さんをお招きして講演をしていただきます。
ぜひご参加くださいませ。

日時: 6月14日 13:00-15:00
場所: 東京大学理学部7号館102教室

---------

Tue 14 June 2016, 13:00–15:00

理学部7号館102
Room 102, School of Science Bldg. No. 7

Tetsuya Sato <http://www.kurims.kyoto-u.ac.jp/~satoutet/> (RIMS, Kyoto
University), 差分プライバシーの圏論的特徴づけと、その検証

差分プライバシー[Dwork, ICALP
2006]は、確率的プログラムで与えられたデータベース・クエリーに関するプライバシー保護の定義／基準で、背景知識攻撃に対する安全性を数学的に保証するという特長を持ち、近年でも盛んに研究されている。

Bartheによる Approximate Relational Hoare Logic (apRHL) [Barthe et al., POPL
2012]は、クエリーの差分プライバシーを形式的に検証するための枠組みで、差分プライバシーの概念を、圏Set上の確率分布モナドのパラメトリックな二項関係持ち上げによって与えるというアイデアに基づいて構成されている。

本講演で紹介する Continuous apRHL
はapRHLの測度論的拡張と呼ぶべきもので、連続分布型の確率的プログラムであるクエリーの差分プライバシーの検証を可能とする。構成はまず、クエリーの差分プライバシーを、Giryモナドのgradedな二項関係持ち上げによって特徴づけ、それらでjudgementの解釈を与え直すことでapRHLを拡張するという流れである。[Sato,
MFPS 2016]  可能であれば、これからの発展などについてもお話ししたい。



-- 
/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
Dept. of Computer Science
Graduate School of Information Science and Technology
The University of Tokyo

Akazaki Takumi
mail :<ultraredrays at gmail.com>
mobile : <090-5379-4901>
/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160608/8d9f2456/attachment.html>