(sigemb-info 370) Talk by Jun Pang, Fri 13 March at RIMS, Kyoto U

[Ichiro Hasuo <ichiro@xxxxxxxxxxxxxxxxxxxx>]

Dear all,

Let me advertise a talk by our guest Jun Pang
(Uni. Luxembourg) at RIMS, Kyoto Univ.
It is on formal (quantitative) verification of information privacy
property in the setting of electronic voting.

No registration necessary. See you there!

=== Japanese Summary ===
  情報セキュリティの形式検証がご専門の，Jun Pang さんを
  招いてご講演をお願いしました．今回は特に，電子投票での
  匿名性のお話です．
  京都は最近めっきり暖かくなりました．ぜひ参加を
  ご検討ください．

Best regards,
Ichiro Hasuo
http://www.kurims.kyoto-u.ac.jp/~cs/ (group website)
http://www.kurims.kyoto-u.ac.jp/~ichiro/ (personal)

====
Jun Pang (Uni. Luxembourg, http://satoss.uni.lu/members/jun/)
Measuring Voter-controlled Privacy
16.00 - 17.00, Fri 13 March 2009
Room 202, RIMS, Kyoto University
http://www.kurims.kyoto-u.ac.jp/en/access-01.html

Abstract:
In voting, the notion of receipt-freeness has been proposed to express
that a voter cannot gain any information to prove that she has voted
in a certain way. Receipt-freeness aims to prevent vote buying, even
when a voter chooses to renounce her privacy.

In this paper, we distinguish various ways that a voter can
communicate with the intruder to reduce her privacy and classify them
according to their ability to reduce the privacy of a voter. We
develop a formal framework combining knowledge reasoning and trace
equivalences to formally model voting protocols and define vote
privacy for the voters. Our framework is quantitative, in the sense
that it defines a measure for the privacy of a voter. Therefore, the
framework can precisely measure the level of privacy for a voter for
each of the identified privacy classes. The quantification allows our
framework to capture receipts that reduce, but not nullify, the
privacy of the voter. This has not been identified and dealt with by
other formal approaches.