IEEE CS CFP filler
IEEE Security & Privacy · 2022
Design Language, with tools incorporating mechanisms for analyzing the cybersecurity of the system and developing cybersecurity requirements.Dodds describes an approach to cryptographic verification, focusing on the practical engineering challenges that exist when building and deploying proofs in industry.We appreciate all authors' contributions to this special issue.