Common Criteria standard: proving security through Formal Methods Microelectronics
CLEARSY supports major companies in the microelectronics industry with certification under the Common Criteria, an international standard (ISO/IEC 15408) that serves as a […]
Same 2005 Conference Exhibitions/conferences, Microelectronics
CLEARSY presented the R&D it is conducting with STMicroelectronics at the Same 2005 Conference and announces today that it will […]
Globalplatform card specification v2.1.1 Microelectronics
INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.