90 followers
Excited to share our new paper "The Marriage Between #Safety and #Cybersecurity: Still Practicing" appearing in LNCS book series after @m_stoelinga's talk at #SPIN2021, the International Symposium on Model Checking Software. A short thread with details: