miniWorkshop on Security Frameworks
mWSF11 - The 2011
miniWorkshop on Security Frameworks
"More and more Privacy"
Thursday, 1st December 2011
Dipartimento di
Matematica e Informatica
Università
di Catania
WSF11 - The 2011 edition
Privacy pops out yet over and over again. Location, votes, and exam marks form private information whose disclosure bears potential for dramatic consequences. A widely accepted understanding of privacy reduces it to unlinkability of two peices of information, one notably being the information owner. Despite its intuitiveness, privacy is far from trivial to establish, and its formal analysis even more daunting. This edition of the miniworkshop will treat novel systems to enforce various forms of privacy, and will conclude with a significant attempt at its machine-assisted analysis. The programme anticipates a dence afternoon of discussions, expected to culminate with the final brainstorming on a minicompetition that the speakers have set for themselves: setting privacy within security ceremonies, namely within the more general sociotechnical context that surrounds real-world security technology.
Talk Abstracts
Workshop Programme
- 15:00-15:15
G. Bella - Welcome and Opening Remarks
- 15:15-15:45 Gianpiero Costantino,
CNR Pisa, Italy: "Privacy-Preserving Interest-Casting in Opportunistic Networks"
- 15:45-16:15 Rosario Giustolisi,
Università di Catania: "WATA4.0: Enhancing WATA with usability and individual verifiability"
- 16:15-16:30
Break
- 16:30-17:00 Gabriele Lenzini, University of Luxembourg: "Location and Privacy Assurance in GNSS-Location Based Services"
- 16:30-17:00 Gabriele Lenzini, University of Luxembourg: "Location and Privacy Assurance in GNSS-Location Based Services"
- 17:00-17:30 Luigi Grillo,
Università di Catania: "Secure multi-party computational geometry: formalization of Privacy in Location Based Mobile Services (LBMS)"
- 17:30-17:45
Break
- 17:45-18:15 Denis Butin, Dublin City University, Ireland: "Electronic Voting Protocol Analysis with the Inductive Method"
- 17:45-18:15 Denis Butin, Dublin City University, Ireland: "Electronic Voting Protocol Analysis with the Inductive Method"
- 18:15-19:00 Wrapping up and brainstorming on this year's minicompetition: towards the analysis of security ceremonies
Workshop Location
1st
December 2011, Aula 24,
Dipartimento di
Matematica e Informatica,
Università di Catania, ITALY.