HotSpot 2013 - Programme

Dipartimento di Scienze Odontostomatologiche e Maxillo-Facciali, Sapienza University of Rome
Room E
Sunday 17th March 2013

8:45

Opening remarks

9:00

Invited talk 1

Olivier Pereira. Vote Privacy, Revisited: New Definitions, Tools and Constructions.

10:00

Intruders

Sebastian Mödersheim, Pascal Lafourcade, Ali Kassem and Yassine Lakhnech. Multiple Independent Lazy Intruders.

Myrto Arapinis, Loretta Mancini, Eike Ritter and Mark Ryan. Pseudonyms in Mobile Telephony Systems: Good Principles but Weak Implementations.

11:00

Coffee

11:30

Applications

Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker and Pascal Lafourcade. Verifiability in E-Auction Protocols.

Masoud Tabatabaei, Wojtek Jamroga and Peter Ryan. Preventing Coercion in E-Voting: Be Open and Commit.

12:30

Lunch

14:00

Privacy

Matteo Maffei, Kim Pecina and Manuel Reinert. Security and Privacy by Declarative Design.

Konstantinos Chatzikokolakis, Miguel Andres, Nicolás Emilio Bordenabe and Catuscia Palamidessi. Broadening the Scope of Differential Privacy using Metrics.

Fabienne Eigner and Matteo Maffei. Differential Privacy by Typing in Security Protocols.

15:30

Coffee

16:00

Invited talk 2

Karthik Barghavan. Robust Defenses for Web Security Components.

17:00

End