Compress selected nodes Recompress group Decompress group Toggle label of selected node Toggle label of selected node (skip layout calculation) Explain construction of chain Zoom in (small) Zoom out (small) Show knowledge graph Show raw ProVerif code + attack trace Show tagged ProVerif code + attack trace

Formula

Explanation

Attack trace