Foundations & Practice of Security

Call for Participation

2th workshop on

Foundations & Practice of Security

Mitacs 2009
June 26 and June 27, 2009

Grenoble, France

http://www-mitacs2009.imag.fr
Possible funding for Canadian students here.

Aims and Scope Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. Following the Canada-France Meeting on Security which was held at Simon Fraser University, Vancouver, in Dec 06-08, 2007, the First Canada-France workshop on Foundations and Practice of Security was organized at the Universite du Québec in Montréal, May 31 - June 2, 2008. In addition to the scientific activities and tutorials, this Second Workshop meeting aims to establish links, promote scientific collaboration, joint research programs, and student exchanges between Canada and France in this important and fast moving research field. This year the second edition of the workshop is organized as a satellite event of CAV.

Interests

• Security
• Cryptography
• Code-based Cryptology
• Cryptanalysis
• Public Key Infrastructure
• Malware
• Protocol Verification
• Side channel attacks
• Privacy
• Information Theoretic Security
• Information Flow

Previous Edition

• Initial Vancouver Meeting
• 1st Canada-France MITACS Workshop on Foundations & Practice of Security Montreal, Quebec May 31 - June 2, 2008

Important Dates Early Registration before May 26th.

One session of 10 minute talks for PhD and Post-docs will be organized.
Please send a short abstrat (1 page maximum) to pascal.lafourcade@imag.fr
For student accomoadtion CAV offers 10 euro rooms (see registration page).
Limited travel funding is available for Canadian students, please contact bmkapron@uvic.ca

Invited speakers French Invited speakers:

• Tutorial A on "Fault attacks from theory to practise: what is possible to do?" by Assia TRIA (CEA-LETI/ENSMSE).
• Eric Filiol (ESIEA) will present a "New cryptanalysis-based computer viruses or how to use cryptanalysis techniques to design undetectable malware"
• Castelluccia Claude (Planete Project INRIA) "WSN Security: from Physical to Application layers"
• Abdalla Michel (ENS) Robust Public-Key and Identity-Based Encryption
• Blanchet Bruno (Laboratoire d'Informatique de l'ENS) :" CryptoVerif: A Computationally Sound Mechanized Prover for Security Protocols"

Canadian Invited speakers:

• Tutorial B on "New Techniques in Privacy-Preserving Data Mining and Machine Learning" by Ali Miri (University of Ottawa)
• Kumar Murty, (UToronto):
• Jose M. Fernandez (EPM): Botnets: No calm after the Storm
• Bruce Kapron (University of Victoria)
• Rei Safavi-Naini (University of Calgary)
• Joaquin Garcia-Alfaro (CarletonU): "Security & Privacy on EPC Networks"