HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:certification

Papers
Survey of Automation Practices in Model-Driven Development and Operations
Christophe Ponsard and Valery Ramon
EasyChair Preprint no. 7760
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
Cybersecurity Program Designed for Future
Claudio Brito, Melany Ciampi and Henrique Santos
EasyChair Preprint no. 1323
Beyond DRAT: Challenges in Certifying UNSAT
Bertram Felgenhauer
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
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-2022 easychair.org. All rights reserved.