Conference and workshop organization
2009
-
16th International Symposium on Formal Methods (FM'09), 30 October - 7 November, 2009, Eindhoven, The Netherlands
-
7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), 14-16 October, 2009, Macao SAR, China
- 2nd International Conference on
Voting and Identity (VoteID2009), 7-8 September 2009,
Luxembourg, Luxembourg
-
3rd International Symposium on Security and Multimodality in Pervasive Environments (SMPE'09), May 26-29, 2009, Bradford, United Kingdom
2008
-
11th International Conference on Information Security and Cryptology (ICISC'08), 4-5 December, 2008, Seoul, Korea
-
11th IEEE High Assurance Systems Engineering Symposium (HASE'08), 3-5 December, 2008, Nanjing, China
-
1st International Workshop on Quality Aspects of Coordination (QAC'08), 31 August, Istanbul, Turkey
-
2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'08), 30-31 August, Istanbul, Turkey
-
3rd International Conference on Systems and Networks Communications (ICSNC'08), 26-31 October, 2008, Sliema, Malta
-
5th European Public Key Infrastructure Workshop (EUROPKI'08), 16-17 June, 2008, Trondheim, Norway
-
4th International Workshop on Security and Trust Management (STM'08), 16-17 June, 2008, Trondheim, Norway
-
4th International Workshop on Software Engineering for Secure Systems (SESS'08), 17-18 May, 2008, Leipzig, Germany
-
Workshop in Information Security Theory and Practices 2008: Smart Devices, Convergence and Next Generation Networks
(WISTP'08), 13-16 May, 2008, Sevilla, Spain
Visitors in 2009
- Delphine Longuet (Université Paris Sud, LRI) and and Assia Touil (Supelec, Paris),
20-24 July, 2009.
Talk title: "Testing from Logical Specifications: Proof-guided Test Selection"
Visitors in 2008
- Kostas Chatzikokolakis (Eindhoven University of Technology), 24 November, 2008.
Talk title: "Scheduling Non-deterministic Choices".
- Chan V. Ngo (University Joseph Fourier), 11 September, 2008.
Talk title: "Automated Verification of Asymmetric Encryption".
- Romain Vaslin (European University of Brittany), 2 July, 2008.
Talk title: "Secure architecture in embedded systems".
- Dirk Henrici (University of Kaiserslautern), 11 June, 2008.
Talk title: "Security and Privacy in Large-Scale RFID Systems".
- Simon Kramer (INRIA, Ecole Polytechnique), 31 March,
2008. Talk title: "Towards Interactive Belief, Knowledge, and Provability:
Possible Application to Zero-Knowledge Proofs".
- Long Nguyen (Oxford University Computing Laboratory), 21 January,
2008. Talk title: "Authentication Protocols based on Human
Interaction in Security Pervasive Computing".
- Roberto Di Pietro (Università "La Sapienza" - Roma), 17-18
January, 2008. Talk title: "Security and Privacy in RFID".
How to reach SaToSS