HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Common Criteria

Publications
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 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
Copyright © 2012-2025 easychair.org. All rights reserved.