[Verifpal] Feature: convert attack traces to protocol diagrams

Nadim Kobeissi nadim at symbolic.software
Wed Oct 21 23:17:22 CEST 2020

Dear Friedrich,

This is a good idea and I think I'll implement it as soon as possible.

Thank you,

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office

On Wed, Oct 21, 2020 at 10:27 PM Friedrich Wiemer via Verifpal
<verifpal at lists.symbolic.software> wrote:

> This just came to my mind: what do you think about a feature that creates
> some sort of protocol diagrams from attack traces?
> Could be much nicer to parse for a human and how cool would it be, to
> directly have these "attack diagrams"?! :)
> Best,
> Friedrich
> --
> Dr. Friedrich Wiemer,
> orcid.org/0000-0003-2998-6777
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201021/6d74ac84/attachment.htm>

More information about the Verifpal mailing list