Domino: Security Proofs that Scale

Cryptographic protocols are the backbone of a secure and free internet. They need to be thoroughly analyzed to ensure that breaking the protocol is as hard as breaking well-studied hardness assumptions. Domino addresses this need by making the analysis and verification of real-world cryptographic protocols practical and accessible by finding a new sweet spot between reasonable expressiveness and automation. Building on our existing work, we will now further reduce the amount of work that has to be done manually, clean up our syntax and further increase usability by improving error reporting, adding editor integration using LSP, experimenting with more modular code and investing in user-facing documentation.​​​​​​​​​​​​​​​​