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... !