[Verifpal] Feature: convert attack traces to protocol diagrams

Friedrich Wiemer friedrich.wiemer at rub.de
Wed Oct 21 22:27:14 CEST 2020

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"?! :)


Dr. Friedrich Wiemer,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201021/1ad7b5be/attachment.htm>

More information about the Verifpal mailing list