First International Workshop on lightweight and Incremental Cybersecurity Certification | IEEE Conference Publication | IEEE Xplore