![Image for New Knowledge Area in Formal Methods in Security coming soon! New Knowledge Area in Formal Methods in Security coming soon!](/media/article_images/2020/06/25/icon_news_KYlgUkH.png)
New Knowledge Area in Formal Methods in Security coming soon!
Published: 25 Jun 2020, 7:59 a.m.
The CyBOK team are currently working on developing a new knowledge area in Formal Methods in Security. Further details will be released in due course along with a call for public comments. Watch this space to find out more... !