Why Protocol Security Tools Need to Become Platforms
A follow-up. The previous article described what we are building. This one describes how it works in practice - and why the shift from academic tool to industrial platform matters.
In a previous article, I described the architecture of a protocol analyzer we are building: automatic repair, sixteen attacker models, GNN-guided search, modular crate design. That was the "what." This article is the "how" - how this tool gets used, what it changes in practice, and why we believe it represents a shift from laboratory instrument to industrial platform.
The problem with existing tools is not only capability - it is also access
ProVerif and Tamarin are remarkable achievements in formal methods. They are also laboratory instruments by design. You install them on a research machine, write a model in their DSL, run analysis in a terminal, read the output. This workflow is fine for a PhD student. It does...
Copyright of this story solely belongs to hackernoon.com. To see the full text click HERE
