A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine

Adel Djoudi
  • Fonction : Auteur
Martin Hana
  • Fonction : Auteur
Nikolai Kosmatov
  • Fonction : Auteur
Milan Krizenecky
  • Fonction : Auteur
Franck Ohayon
  • Fonction : Auteur
Patricia Mouy
  • Fonction : Auteur
Arnaud Fontaine
  • Fonction : Auteur
David Feliot
  • Fonction : Auteur
Département Systèmes

Domaines

Informatique Génie logiciel [cs.SE]

Contributeur MAP CEA  : Connectez-vous pour contacter le contributeur

https://cea.hal.science/cea-04176977

Soumis le : jeudi 3 août 2023-17:30:17

Dernière modification le : mercredi 3 avril 2024-11:14:11

Fichier non déposé

Dates et versions

cea-04176977 , version 1 (03-08-2023)

Identifiants

  • HAL Id : cea-04176977 , version 1

Citer

Adel Djoudi, Martin Hana, Nikolai Kosmatov, Milan Krizenecky, Franck Ohayon, et al.. A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine. Embedded Real Time Systems (ERTS), Mar 2022, Toulouse, France. ⟨cea-04176977⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA DRT LETI CEA-GRE ERTS2022
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More