Keyword:Common Criteria

Papers
Incremental Common Criteria Certification Processes using DevSecOps Practices Sébastien Dupont, Guillaume Ginis, Mirko Malacario, Claudio Porretti, Nicolò Maunero, Christophe Ponsard and Philippe Massonet EasyChair Preprint no. 6415
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper) Bernhard Beckert, Daniel Bruns and Sarah Grebing In:VERIFY-2010. 6th International Verification Workshop