Talk at EUTypes 2018 Working Meeting in Nijmegen, The Netherlands: Industrial use of proof assistants: Common Criteria evaluations

January 22, 2018

Common Criteria [ISO/IEC 15408] is an international standard for certifying the security of computer systems. When high evaluation assurance levels (EAL6 and EAL7) are required of a system, Common Criteria (CC) requires formal modelling and mechanized proofs of security properties. In this talk, we will first have an overall look at the schema for CC evaluations, after which we will concentrate on the scientific aspects relating to proofs and programming languages, and the special role that proof assistants play during these evaluations.

https://eutypes.cs.ru.nl/Meetings/Nijmegen18

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net