ROCKR PREUVES - ASSOCIATION POUR LA VERIFICATION FORMELLE DES INFRASTRUCTURES NUMERIQUES DE CONFIANCE
- Active
- Grand-Brassac
- Autres médias
- W243010633
conduire, promouvoir, incuber et coordonner des travaux de recherche en vérification formelle et en sûreté des infrastructures numériques de confiance, notamment les protocoles d'identité, de règlement et d'authentification ; constituer un réseau d'expertise scientifique et d'ancrage local pour répondre aux appels à projets de recherche nationaux et européens ; promouvoir la publication des résultats, preuves théoriques et codes sources en libre accès (Open Science / Open Source) sous licences libres appropriées ; coopérer avec tout organisme public, université ou entreprise privée poursuivant un but similaire, en France et à l'étranger, notamment ROCKR Proof Labs Ltd ; entreprendre toute action se rattachant directement ou indirectement à cet objet