Rockr Preuves - Association pour la Verification Formelle des Infrastructures Numeriques de Confiance

Objet de l'association

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