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

Adel Djoudi (1) , Martin Hána (1) , Nikolai Kosmatov (2) , Milan Kříženecký (1) , Franck Ohayon (1) , Patricia Mouy (3) , Arnaud Fontaine (3) , David Feliot (4)

1 THALES [France]
2 TRT - Thales Research and Technologies [Orsay]
3 ANSSI - Agence nationale de la sécurité des systèmes d'information
4 CEA-LETI - Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information

Domains: Embedded Systems; Formal Languages and Automata Theory [cs.FL]; Cryptography and Security [cs.CR]

Adel Djoudi, Martin Hána, Nikolai Kosmatov, Milan Kříženecký, Franck Ohayon, et al.. A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine. 11th European Congress Embedded Real Time System ( ERTS 2022), Jun 2022, Toulouse, France. ⟨hal-03695829⟩