Nov 21, 2019

Research

Lecture Notes

Personal

Search

ProgramCommittees

Smart Card conferences

Cardis 2016, 15th Smart Card Research and Advanced Application Conference,
Cardis 2015, 14th Smart Card Research and application,
Cardis 2014, 13th Smart Card Research and application,
Cardis 2013, 12th Smart Card Research and application,
SSO'2013, The International Workshop on Secure Smart Objects,
Cardis 2012, 11th Smart Card Research and application,
Cardis 2011, 10th Smart Card Research and application,
Cardis 2010, 9th Smart Card Research and application (CHAIRMAN)
Cardis 2008, 8th Smart Card Research and application,
Cardis 2006, 7th Smart Card Research and application,
Cardis 2004, 6th Smart Card Research and Advanced Application IFIP Conference
e-smart 2002 & e-smart 2003, The future of smart card

Security Conferences

SECITC 2019, 12th International Conference on Information Technology and Communication Security, Bucharest, Romania
Crisis 2019 The 14th International Conference on Risks and Security of Internet and Systems CRiSIS 2019
C2SI 2019, Code, Cryptology and Security Information,
Crisis 2018 The 13rd International Conference on Risks and Security of Internet and Systems CRiSIS 2018
SECITC 2018, 11th International Conference on Information Technology and Communication Security, Bucharest, Romania, (CHAIR)
Crisis 2017 The Twelve International Conference on Risks and Security of Internet and Systems CRiSIS 2017
Gramsec'17, 4th International Workshop on Graphical Models for Security, Santa Barbara, CA, USA - August 21, 2017
SECITC 2017, 10th International Conference on Information Technology and Communication Security, Bucharest, Romania,
C2SI 2017, Code, Cryptology and Security Information,
Crisis 2016 The Eleventh International Conference on Risks and Security of Internet and Systems CRiSIS 2016
GraMSec'16, The Third International Workshop on Graphical Models for Security, June 27th Lisbon, Portugal
Ressi 2016, Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, Toulouse, France
CANS 2015, 14th International Conference on Cryptology and Network Security, Marrakesh, Morocco.
Crisis 2015 The Tenth International Conference on Risks and Security of Internet and Systems CRiSIS 2015
SECITC 2015, 8th International Conference on Security for Information Technology and Communications, Bucharest, Romania
GramSec 2015, The Second International Workshop on Graphical Models for Security, Verona, Italy
C²SI 2015 Codes, Cryptology and Information Security, Rabat, Morocco,
MedICT'2015, Mediterranean Conference on Information & Communication Technologies, Morocco
SDTA14, First Symposium on Digital Trust in Auvergne
Crisis 2014 The Ninth International Conference on Risks and Security of Internet and Systems CRiSIS 2014
VSC 2014 Second edition of the Track on Validating Software for Critical Systems (VSC), inside the 24th WETICE conference
Sar-si 2014, 9ème conférence sur la sécurité des architectures réseaux et des systèmes d'information
SEC2014 IFIP International Information Security and Privacy Conference
VSC 2013 Track on Validation of Safety critical Collaboration systems in 22nd IEEE WETICE International Conference
Crisis 2013 The Eighth International Conference on Risks and Security of Internet and Systems CRiSIS 2013 (General Chair)
Crisis 2012 The Seventh International Conference on Risks and Security of Internet and Systems CRiSIS 2012 (CHAIRMAN)
Sar-ssi 2012 7ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Cabourg, France, May 22-25 2012
Sar-ssi 2011 6ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, La Rochelle, France, May 18-21 2011
Sar-ssi 2010 5ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Menton, France, May 18-21 2010
Wifs'09, First IEEE International Workshop on Information Forensics and Security, December 2009,
Sar-ssi 2009 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Luchon, France, 22 - 26 June, 2009
FDTC 2008, 5th Workshop on Fault Diagnosis and Tolerance in Cryptography,
ISSSE 2006, International Symposium on Secure Software Engineering,
Journée Industrie INRIA, XIVes Rencontres INRIA - Industrie Confiance et Sécurité
Wistp 2008, workshop on Information Security Theory and Practices,

Formal Methods Conferences

Afadl2017, 16emes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Afadl2016, 15emes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Afadl2015, 14emes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Afadl2013, 13emes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Afadl2012, 12emes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels
Afadl 10, 10emes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels,
ZB 2007, The 7th International B Conference,
Afadl 07, Approches Formelles dans l'Assistance au DĂ©veloppement de Logiciels
ZB 2002, The 2nd International Z and B Conference
Afadl 01, Nancy, Approches Formelles dans l'Assistance au DĂ©veloppement de Logiciels

System and IoT

MCETECH 2017, Conference e-Technologies, Ottawa, Canada, May 17-19, 2017
compas2015, Conférence d’informatique en Parallélisme, Architecture et Système, Villeneuve d'Ascq, France
Sanso 2005, First International Workshop on System and Networking for Smart Objects

Page Actions