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

Best, 
Friedrich

--
Dr. Friedrich Wiemer,
orcid.org/0000-0003-2998-6777 
-------------- 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