proverif editor online with Winfy

We have hosted the application proverif editor in order to run this application in our online workstations with Wine or directly.

Quick description about proverif editor:

An editor to edit and check protocols specified in SPI-calculus using ProVerif.

Audience: End Users/Desktop, Information Technology, Science/Research.

Programming Language: Python.

.