· @idw_online
445 followers · 9802 posts · Server idw-online.social
Groundbreaking research project "Ecosystem Trustworthy IT" #EvIT plans provable #ITSecurity through #FormalVerification.
#Cybersecurity #FormalMethods #CybersecurityByDesign #KRITIS #Cybersecurity
https://nachrichten.idw-online.de/2023/09/11/demonstrable-it-security-through-formal-verification
#evit #ITSecurity #formalverification #CyberSecurity #formalmethods #cybersecuritybydesign #kritis
Last updated 1 year ago