maude-hcs; generalized and modular toolchains for formally specifying and reasoning about Hidden Communication Systems (HCS) at real-world scales. https://infosec.pub/post/44451777 [https://infosec.pub/u/digicat] #blueteamsec
maude-hcs; generalized and modular toolchains for formally specifying and reasoning about Hidden Communication Systems (HCS) at real-world scales. - Infosec.Pub

Lemmy