| ASFIP |
|
Attack Standardization for FIngerPrint system certification |
|
Alain MERLE
CEA |
|
|
|
|
|
| AVOTE |
|
Analyse formelle de protocoles de vote électronique |
|
Véronique CORTIER
CNRS |
|
|
|
|
|
| CAVERN |
|
Constraints and Abstractions for program VERificatioN |
|
Arnaud GOTLIEB
INRIA |
|
|
|
|
|
| FAR3D |
|
Face Analysis and Recognitino using 3D |
|
Mohamed DAOUDI
USTL |
|
|
|
|
|
| FLUOR |
|
Convergence du contrôle de Flux et d'Usage dans les Organisations |
|
Nora CUPPENS
GET/ENST Bretagne |
|
|
|
|
|
| FME3 |
|
Enhancing the Evaluation of Error conséquences using Formal Methods |
|
Laurence PIERRE
Université Joseph FOURIER |
|
|
|
|
|
| LISE |
|
Liability Issues in Software Engineering |
|
Daniel LE METAYER
INRIA |
|
|
|
|
|
| PAMPA |
|
Password Authentication and Methods for Privacy ans Anonymity |
|
Louis GRANBOULAN
EADS |
|
|
|
|
|
| RFIDAP |
|
RFID Authentication ans Privacy |
|
François VACHERAND
CEA |
|
|
|
|
|
| SCALP |
|
Security of Cryptographic Algorithms with Probabilities |
|
Yassine LAKHNECH
CNRS |
|
|
|
|
|
| SEQURE |
|
Symmetric Encryption with Quantum key Renewal |
|
Thierry DUBUISSCHERT
THALES |
|
|
|
|
|
| SFINCS |
|
Securing Flow of Information for Computing pervasive Systems |
|
Isabelle SIMPLOT-RYL
CNRS |
|
|
|
|
|
| VERAP |
|
Vérification Approchée Probabiliste |
|
Michel de ROUGEMONT
CNRS |
|
|
|
|
|
| SOS |
|
Smart-On-Smart |
|
Bruno ROBINSSON
CEA |
Documents et informations relatifs à l'Appel à Projets SESUR07