Alpha release candidate 3

Changelog:

• Improved page Result. It's possible to sort, search and filter the results depending on several criteria.
• The redo button is now available in the equivalence and attack simulator.
• DeepSec UI can now verify the queries in background allowing you to quit the UI even if you still have some verification ongoing.
• When displaying an attack trace or when using the simulator, the private names of the ongoing processes are displayed with the frame.
• Many bug fixes.

Alpha release candidate 2

Changelog:

• Fix a bug where symbolic link to deepsec_api would not work.
• Improved selection of absolute path to deepsec_api

First release for alpha testing

DeepSec UI requires DeepSec 2.0.x to run. See DeepSec Github to download and install DeepSec 2.0.x . Amongst the new features of both DeepSec and DeepSec UI:

• Improved efficiency when verifying queries.

• Support for "Eavesdrop", "Classic" and "Private" semantics (POST'17)
  for verifying trace equivalence.

• Integration and improvements of session equivalence (CCS'19).

• Recording of the result of your runs that can be displayed in DeepSec UI.

• DeepSec UI supports all of DeepSec's abilities does but with a nice
  interface.

• Interactive display of attacks for violated queries.

• Attack and equivalence simulators in DeepSec UI for trace equivalence:
  when a trace equivalence query holds, you can select a trace on any of
  the two processes and request an equivalent trace; when violated there
  is an attack trace on one of the processes, and you can select any trace
  on the other process to see why they are not equivalent. Note that these
  simulators only work with trace equivalence and not session equivalence.