Building a Protocol Analyzer That Can Repair Cryptographic Attacks
A report on a tool still in development - the architecture we chose, the trade-offs we made, and why we believe this direction has a future.
This article is not a product announcement. It is a report on how we are building a tool still in progress. The architecture is settled, the key decisions are made, the code is being written. But the final form is still ahead - and that is exactly why now is the right time to talk about where we are going and why.
The project is under active development. What follows describes what we are building toward, not what ships today. But every architectural decision in this article is already implemented or in active development. We are reporting concrete progress, not speculating.
The problem we are solving
ProVerif and Tamarin are excellent tools. They solve vulnerability detection well: accept a protocol description, build an attacker...
Copyright of this story solely belongs to hackernoon.com. To see the full text click HERE
