Work

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

Year: 2022

Type: conference-paper

Source: HAL

Authors: Djoudi, Adel, Hana, Martin, Kosmatov, Nikolai, Krizenecky, Milan, Ohayon, Franck, Mouy, Patricia, Fontaine, Arnaud, Feliot, David

Institutions: Thales (France), Commissariat à l'Énergie Atomique et aux Énergies Alternatives, CEA Grenoble, Laboratoire d'Électronique des Technologies de l'Information

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4283208339

FWCI: 0.704

Cites:

Cited by: 4

Related to: 10