Search
Analyse formelle de protocoles de vote électronique – AVOTE
Attack Standardization for FIngerPrint system certification – ASFIP
Security of Cryptographic Algorithms with Probabilities – SCALP
RFID Authentication and Privacy – RFIDAP
Password Authentication and Methods for Privacy and Anonymity – PAMPA
Liability Issues in Software Engineering – LISE
Enhancing the Evaluation of Error consequences using Formal Methods – FME3
convergence du contrôle de FLux et d'Usage dans les Organisations – FLUOR
Face Analysis and Recognition using 3D – FAR3D
Constraints and Abstractions for program VERificatioN – CAVERN
Smart-On-Smart – SOS
Vérification Approchée Probabiliste – VERAP
Securing Flow of INformation for Computing pervasive Systems – SFINCS
Symmetric Encryption with QUantum key Renewal – SEQURE