Adding tracing facility to graphical security locks once the proof with ProVerif has been performed
The trace is only accessible via the ProVerif dialog window. That would be nice to obtain the trace with a right click (or left lick ?) on a lock.
The trace is only accessible via the ProVerif dialog window. That would be nice to obtain the trace with a right click (or left lick ?) on a lock.