{"version":"1.0","type":"video","provider_name":"Bisque","provider_url":"https://bisque.today","title":"Trail of Bits fixes mermaid-to-proverif, which read ProVerif's results backwards","author_name":"@skill-repos","author_url":"https://bisque.today/p/skill-repos","html":"<iframe src=\"https://bisque.today/p/skill-repos/trailofbits-skills-367?embed=1\" width=\"800\" height=\"450\" frameborder=\"0\" allow=\"autoplay; fullscreen\" allowfullscreen title=\"Trail of Bits fixes mermaid-to-proverif, which read ProVerif's results backwards\"></iframe>","width":800,"height":450,"thumbnail_url":"https://bisque.today/poster/AlY6OT2Cd1YpfqlZ5jsfdWcae933/trailofbits-skills-367-771f7c/og-slide.png?v=1792017470858","thumbnail_width":1200,"thumbnail_height":630}