WCAN'07 and the Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS/ARSPA'07) will be held back-to-back and will share the invited talk of Srdjan Capkun:
| 08:50 - 09:00 | Welcome |
| 09:00 - 09:30 |
FCS-ARSPA Toby Murray and Gavin Lowe Authority Analysis for Least Privilege Environments |
| 09:30 - 10:00 |
FCS-ARSPA Richard Change and Vitaly Shmatikov Formal Analysis of Authentication in Bluetooth Device Pairing |
| 10:00 - 10:30 |
FCS-ARSPA Todd Andel and Alec Yasinsac Automated Security Analysis of Ad Hoc Routing Protocols |
| 10:30 - 11:00 |
FCS-ARSPA Ender Yuksel, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen, and Mehmet Bulent Orencik A Secure Simplification of the PKMv2 Protocol in IEEE 802.16e-2005 |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:00 |
FCS-ARSPA Stephanie Delaune and Veronique Cortier Deciding knowledge in security protocols for monoidal equational theories |
| 12:00 - 12:30 |
FCS-ARSPA Adel Bouhoula and Florent Jacquemard Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction |
| 12:30 - 13:00 |
FCS-ARSPA Simon Kramer The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability |
| 13:00 - 14:00 | Lunch |
| 14:00 - 14:30 |
FCS-ARSPA Zhiyao Liang and Rakesh Verma Secrecy Checking of Protocols: Solution of an Open Problem |
| 14:30 - 15:00 |
FCS-ARSPA Kazuki Yoneyama, Yuichi Kokubun and Kazuo Ohta A Security Analysis on Diffie-Hellman Key Exchange against Adaptive Adversaries using Task-Structured PIOA |
| 15:00 - 16:00 |
Invited Talk FCS-ARSPA & WCAN Srdjan Capkun From Securing Navigation Systems to Securing Wireless Communication Through Location-Awareness |
| 16:00 - 16:30 | Coffee break |
| 16:30 - 17:00 |
WCAN Vanesa Daza, Javier Herranz, Paz Morillo and Carla Rafols Ad-hoc Threshold Broadcast Encryption with Shorter Ciphertexts |
| 17:00 - 17:30 |
WCAN Nouha Oualha and Yves Roudier Securing Ad Hoc Storage through Probabilistic Cooperation Assessment |
| 17:30 - 18:00 |
WCAN Keith M. Martin and Maura Paterson An Application-Oriented Framework for Wireless Sensor Network Key Establishment |
| 18:00 - 18:20 |
WCAN Maarit Hietalahti A Clustering-based Group Key Agreement Protocol for Ad-Hoc Networks (work in progress) |
| 18:20 - 18:40 |
WCAN Giovanni Di Crescenzo A Survey on Cryptography for Vehicular Networks |
| 18:40 - 19:00 |
WCAN Sylvia Encheva and Sharil Tumin Security Administration of Protected Web Resources (work in progress) |
| 20:30 - | Workshop dinner |
The location of the workshop dinner will be announced asap.