Ask HN: Is It Possible to Automate Common Criteria Certification? How?