The Coq mailing list

[Maxime Dénès <maxime.denes AT inria.fr>]

Hi Adam,

We actually presented this work at CoqPL 2020:

https://popl20.sigplan.org/details/CoqPL-2020-papers/2/The-use-of-Coq-for-Common-Criteria-Evaluations

But yes, the topic could be worth discussing more in a future event. For 
example, I would be curious to know if there are similar approaches / 
discussions with authorities in more countries.

Maxime.

On 12/1/21 23:48, Adam Chlipala wrote:
> On 12/1/21 4:58 PM, Timothy Carstens wrote:
> > /How does this relate to /Requirements on the Use of Coq in the 
> > Context of Common Criteria Evaluations/?/
> >
> > /Requirements on the Use of Coq in the Context of Common Criteria 
> > Evaluations/ is a requirements document published by ANSSI and INRIA.
> Hey, I didn't realize Coq had gotten legit enough to have a guide like 
> that published.  Cool!  This is the sort of activity that might nice to 
> hear about in an upcoming Coq Workshop or something.