Skip to content

DSE and Proverif panels

Letitia Li requested to merge tmpfixes into master

I have moved security generation into a ProVerif tab and also disabled avatar model checking or uppaal in DIPLODOCUS.

Merge request reports